logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Logic, Algebra, and Computation: International Summer School - Friedrich Ludwig Bauer, W. Brauer, Gérard Huet, H. Schwichtenberg, John Alan Robinson
Add cover
Logic, Algebra, and Computation: International Summer School
by: (author) (author) (author) (author) (author)
Format: hardcover
ISBN: 9780387543154 (0387543155)
Publisher: Springer, 485 pages, Hardcover" />
Pages no: 485
Edition language: English
Bookstores:
Books by John Alan Robinson
Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 1 - Dov M. Gabbay, John Alan Robinson, C.J. Hogger
Computational Logic: Essays In Honor Of Alan Robinson - John Alan Robinson
Handbook of Logic in Artificial Intellig... Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning - Dov M. Gabbay, John Alan Robinson, C.J. Hogger
Logic, Form And Function: The Mechanization Of Deductive Reasoning - John Alan Robinson
Handbook of Automated Reasoning - John Alan Robinson
Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 2 - Dov M. Gabbay, John Alan Robinson
Logic, Algebra, and Computation: Interna... Logic, Algebra, and Computation: International Summer School - Friedrich Ludwig Bauer, W. Brauer, Gérard Huet, H. Schwichtenberg, John Alan Robinson
Books by Friedrich Ludwig Bauer
Software Engineering: An Advanced Course... Software Engineering: An Advanced Course - Friedrich Ludwig Bauer
Logic, Algebra, and Computation: Interna... Logic, Algebra, and Computation: International Summer School - Friedrich Ludwig Bauer, W. Brauer, Gérard Huet, H. Schwichtenberg, John Alan Robinson
Language Hierarchies and Interfaces - Friedrich Ludwig Bauer
Algorithmische Sprache Und Programmentwi... Algorithmische Sprache Und Programmentwicklung - Friedrich Ludwig Bauer
Logic And Algebra Of Specification - Friedrich Ludwig Bauer
The Munich Project Cip - Friedrich Ludwig Bauer
Books by Gérard Huet
Logical Environments - Gérard Huet
Logic, Algebra, and Computation: Interna... Logic, Algebra, and Computation: International Summer School - Friedrich Ludwig Bauer, W. Brauer, Gérard Huet, H. Schwichtenberg, John Alan Robinson
Logical Foundations Of Functional Programming - Gérard Huet
Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009 Proceedings - Amba Kulkarni, Gérard Huet
Logical Frameworks - Gérard Huet
Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected and Invited Papers - Gérard Huet, Amba Kulkarni, Peter Scharf
From Semantics to Computer Science - Yve... From Semantics to Computer Science - Yves Bertot, Gérard Huet, Jean-Jacques Levy
Books by W. Brauer
Coloured Petri Nets: Basic Concepts, Ana... Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 3 - Kurt Jensen, W. Brauer, Arto Salomaa
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science) - Andrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, David Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth
Logic, Algebra, and Computation: Interna... Logic, Algebra, and Computation: International Summer School - Friedrich Ludwig Bauer, W. Brauer, Gérard Huet, H. Schwichtenberg, John Alan Robinson
Particle Induced Electron Emission I - M... Particle Induced Electron Emission I - M. Rosler, W. Brauer
Coloured Petri Nets: Basic Concepts, Ana... Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use - K. Jensen, Grzegorz Rozenberg, Arto Salomaa, W. Brauer
Books by H. Schwichtenberg
Logic, Algebra, and Computation: Interna... Logic, Algebra, and Computation: International Summer School - Friedrich Ludwig Bauer, W. Brauer, Gérard Huet, H. Schwichtenberg, John Alan Robinson
Proof And Computation - H. Schwichtenber... Proof And Computation - H. Schwichtenberg
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.