logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods - S. Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Add cover
Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods
by: (author) (author) (author)
Format: ebook
ISBN: 9781280375279 (1280375272)
Publisher: Oxford University Press
Edition language: English
Bookstores:
Books by Dov M. Gabbay
Mediaeval and Renaissance Logic, Volume 2 (Handbook of the History of Logic) - Dov M. Gabbay
Conditionals and Modularity in General Logics - Dov M. Gabbay, Karl Schlechta
The Rise of Modern Logic: From Leibniz to Frege - Dov M. Gabbay
Philosophy of Mathematics - A.D. Irvine, Dov M. Gabbay, Paul R. Thagard
A New Approach to Quantum Logic - Kurt Engesser, Dov M. Gabbay
Handbook of Philosophical Logic: Volume ... Handbook of Philosophical Logic: Volume 2: Extensions of Classical Logic - Dov M. Gabbay, Franz Guenthner
Labelled Deduction (Applied Logic Series) - David Basin, Dov M. Gabbay, Sean Matthews, Luca Viganò
Rise of Modern Logic, The: From Leibniz ... Rise of Modern Logic, The: From Leibniz to Frege. Handbook of the History of Logic, Volume 3. - Dov M. Gabbay, John Hayden Woods
Goal-Directed Proof Theory - Dov M. Gabbay, Nicola Olivetti
Handbook of Temporal Reasoning in Artifi... Handbook of Temporal Reasoning in Artificial Intelligence. Foundations of Artificial Intelligence, Volume 1. - M. Fisher, Dov M. Gabbay, L. Vila
Books by S. Abramsky
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
Books by 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
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
Share this Book
http://bl.cm/X0OtTg
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.