logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Handbook of Logic in Computer Science - Samson Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Handbook of Logic in Computer Science
by: (author) (author) (author)
Format: hardcover
ISBN: 9780198537809 (0198537808)
Publisher: Oxford University Press, USA
Pages no: 668
Edition language: English
Bookstores:
Books by Dov M. Gabbay
Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 1 - Dov M. Gabbay, John Alan Robinson, C.J. Hogger
What Is Negation? - Dov M. Gabbay, Heinrich Wansing
Handbook of Temporal Reasoning in Artificial Intelligence - Dov M. Gabbay
Logic, Grammar and Language - Dov M. Gab... Logic, Grammar and Language - Dov M. Gabbay
Approaches to Legal Rationality - Dov M. Gabbay
Philosophy of Mathematics - Dov M. Gabbay, Paul R. Thagard, John Hayden Woods
Handbook Of Philosophical Logic - Dov M. Gabbay
Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence) - Michael David Fisher, Dov M. Gabbay, Lluis Vila
Handbook of Logic in Computer Science Vo... Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods - S. Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Philosophy of Technology and Engineering... Philosophy of Technology and Engineering Sciences - Dov M. Gabbay, Paul R. Thagard, Anthonie Meijers, John Hayden Woods
Books by Samson Abramsky
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
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
Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures - Samson Abramsky, Dov M. Gabbay
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
A Categorical Semantics of Quantum Protocols - Samson Abramsky, Bob Coecke
Extensions of First-Order Logic - Maria Manzano, Samson Abramsky, C.J. van Rijsbergen
Category Theory and Computer Science - D... Category Theory and Computer Science - David Pitt, Samson Abramsky, P.L. Curien
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - E.-R. Olderog, Samson Abramsky, C. Van Rijsbergen
Books by Thomas S.E. Maibaum
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (Caap '91) - Samson Abramsky, Thomas S.E. Maibaum
The Specification of Computer Programs -... The Specification of Computer Programs - Wadysaw Turski, Thomas S.E. Maibaum, Wladyslaw M. Turski
Handbook of Logic in Computer Science Vo... Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods - S. Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings - Shaoying Liu, Keijiro Araki, Thomas S.E. Maibaum
Handbook of Logic in Computer Science - Samson Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - Thomas S.E. Maibaum
Share this Book
Copyright © 2024 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.