hide
Title:
Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann
Source Genre:
Book
Creator(s):
Hutter, Dieter, Editor
Stephan, Werner, Editor
Affiliations:
-
Publ. Info:
New York, USA : Springer
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
255 - 274
Identifier:
-