Normal view
MARC view
Mechanizing Mathematical Reasoning Электронный ресурс Essays in Honor of JГ¶rg H. Siekmann on the Occasion of His 60th Birthday edited by Dieter Hutter, Werner Stephan.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005ISBN: 9783540322542Subject(s): Artificial intelligence | Computer Science | Logic, Symbolic and mathematical | Software engineering | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Software EngineeringOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.
Log in to your account to post a comment.