Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation)

Computation

von Jörg H. Siekmann

Taschenbuch

ISBN: 978-3-642-81957-5

ISBN-10: 3-642-81957-5

Springer-Verlag · 1983

S. auch (eventuell von anderen Autoren):
1983Gebundene AusgabeAutomation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 (Symbolic Computation)