Theory Reasoning in Connection Calculi (Lecture Notes in Computer Science (1527), Band 1527)

Connection

von Peter Baumgartner

Taschenbuch

ISBN: 978-3-540-65509-1

ISBN-10: 3-540-65509-3

Springer · 2008