logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Extensions of First-Order Logic - Maria Manzano, Samson Abramsky, C.J. van Rijsbergen
Extensions of First-Order Logic
by: (author) (author) (author)
Format: paperback
ISBN: 9780521019026 (0521019028)
Publisher: Cambridge University Press
Pages no: 412
Edition language: English
Bookstores:
Other editions (1)
Extensions Of First Order Logic - Maria Manzano
Books by C.J. van Rijsbergen
The Geometry of Information Retrieval - C.J. van Rijsbergen
Computing Science In The University Of G... Computing Science In The University Of Glasgow - C.J. van Rijsbergen
Sigir 94: Proceedings of the Seventeenth Annual International ACM-Sigir Conference on Research and Development in Information Retrieval, Organised by Dublin City University - W. Bruce Croft, C.J. van Rijsbergen
Z User Workshop, York 1991: Proceedings ... Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York, 16-17 December 1991 - C.J. van Rijsbergen, J.E. Nicholls
Metamathematics, Machines and G del's Proof - Natarajan Shankar, C.J. van Rijsbergen
Sigir '89: Proceedings Of The Twelfth An... Sigir '89: Proceedings Of The Twelfth Annual International Acmsigir Conference On Research And Development In Information Retrieval, Cambridge, Massachusetts Usa, June 25 28, 1989 - Nicholas J. Belkin, C.J. van Rijsbergen
Programs, Recursion and Unbounded Choice - Wim H. Hesselink, C.J. van Rijsbergen
Persistent Object Systems: Proceedings o... Persistent Object Systems: Proceedings of the Third International Workshop, 10-13 January, 1989, Newcastle, Australia - John Rosenberg, D. Koch, C.J. van Rijsbergen
Information Retrieval - C.J. van Rijsber... Information Retrieval - C.J. van Rijsbergen
Extensions of First-Order Logic - Maria Manzano, Samson Abramsky, C.J. van Rijsbergen
Books by Samson Abramsky
Theoretical Foundations of VLSI Design - K. McEvoy, Samson Abramsky, C. Van Rijsbergen
Abstract Interpretation of Declarative L... Abstract Interpretation of Declarative Languages - Samson Abramsky
Handbook of Logic in Computer Science - Samson Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods - Samson Abramsky, Dov M. Gabbay
Tapsoft ΚΎ91: Proceedings Of The International Joint Conference On Theory And Practice Of Software Development, Brighton, Uk, April 8 12, 1991 - Samson Abramsky
Category Theory and Computer Programming... Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16-20, 1985: Proceedings - David Pitt, Samson Abramsky, A. Poigne, D. Rydeheard
Formal Semantics and Pragmatics for Natural Language Querying (Tracts in Theoretical computer Science Series), Vol. 8 - James Clifford, Samson Abramsky, C.J. van Rijsbergen
Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures - Samson Abramsky, Dov M. Gabbay
Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II - Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
A Concise Introduction to Languages and Machines - Alan P. Parkes, Dexter C. Kozen, Chris Hankin, Flemming Nielson, Samson Abramsky, David D. Zhang, Ian Mackie, Iain Stewart, Steven S. Skiena
Books by Maria Manzano
Extensions of First-Order Logic - Maria Manzano, Samson Abramsky, C.J. van Rijsbergen
Model Theory - Maria Manzano, Ruy J.G.B. de Queiroz
Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings - Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.