Scientific Library of Tomsk State University

   E-catalog        

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.

By: de Vrijer, RoelContributor(s): Middeldorp, Aart | Van Oostrom, Vincent | Van Raamsdonk, Femke | SpringerLink (Online service)Material type: Computer fileComputer 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-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.
Share