Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
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.

By: Hutter, DieterContributor(s): Stephan, Werner | SpringerLink (Online service)Material type: Computer fileComputer 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-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.