Normal view
MARC view
Processes, Terms and Cycles: Steps on the Road to Infinity Электронный ресурс Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday edited by Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005ISBN: 9783540324256Subject(s): Artificial intelligence | Computer Science | Logic design | Logic, Symbolic and mathematical | Computer Science | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Mathematical Logic and FoundationsOnline 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.