logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
by: (author) (author) (author) (author)
Format: paperback
ISBN: 9783540557890 (354055789X)
Publisher: Springer
Pages no: 431
Edition language: English
Bookstores:
Other editions (1)
Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7 11, 1991: Proceedings - Egon Börger
Books by Egon Börger
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings - Egon Börger, Michael M. Richter, Hans Kleine Büning
Computation Theory And Logic - Egon Börger
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Egon Börger
Computability, Complexity, Logic. Studie... Computability, Complexity, Logic. Studies in Logic and the Foundations of Mathematics, Volume 128. - Egon Börger
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Egon Börger
Proceedings of the Logic Colloquium. Hel... Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory - Michael M. Richter, W. Oberschelp, Egon Börger
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Egon Börger, Yuri Gurevich, Karl Meinke
Books by Michael M. Richter
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings - Egon Börger, Michael M. Richter, Hans Kleine Büning
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets - G.H. Müller, Michael M. Richter
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science) - Egon Bxf6rger, Hans Kleine Bxfcning, Michael M. Richter, Wolfgang Schxf6nfeld
Processing Declarative Knowledge: International Workshop, Pdk '91, Kaiserslautern, Germany, July 1 3, 1991: Proceedings - Michael M. Richter, H. Boley
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
Case-Based Reasoning Research and Development: 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings - Rosina O. Weber, Michael M. Richter
Case-Based Reasoning: A Textbook - Michael M. Richter, Rosina O. Weber
Algorithmic Learning Theory: 9th Interna... Algorithmic Learning Theory: 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
Proceedings of the Logic Colloquium. Hel... Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory - Michael M. Richter, W. Oberschelp, Egon Börger
Books by Gerhard Jäger
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
Game Theory and Pragmatics - Robert van Rooij, Anton Benz, Gerhard Jäger
Language, Games, and Evolution: Trends in Current Research on Language and Game Theory - Anton Benz, Christian Ebert, Gerhard Jäger, Robert van Rooij
Books by Hans Kleine Büning
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings - Egon Börger, Michael M. Richter, Hans Kleine Büning
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings - Egon Börger, Hans Kleine Büning, Michael M. Richter
Share this Book
http://bit.ly/1pqOcUt
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.