logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Proceedings - Gerhard Goos
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Proceedings
by: (author)
Format: paperback
ISBN: 9783540644064 (3540644067)
Publisher: Springer
Pages no: 325
Edition language: English
Bookstores:
Books by Gerhard Goos
Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 - September 1, 2000 Proceedings - Arndt Bode, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen, Thomas Ludwig, Wolfgang Karl, Roland Wismuller
Advances in Cryptology - Eurocrypt '95: International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995. Proceedings - Jean-Jacques Quisquater, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen, J. Quisquater
Diana. an Intermediate Language for ADA:... Diana. an Intermediate Language for ADA: Revised Version - Gerhard Goos, A. Evans
Public-Key Cryptography: State of the Ar... Public-Key Cryptography: State of the Art and Future Directions: E.I.S.S. Workshop, Oberwolfach, Germany, July 3-6, 1991. Final Report - Th Beth, Juris Hartmanis, Gerhard Goos, M. Frisch, G. J. Simmons
DCE - The OSF Distributed Computing Envi... DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Pr - Gerhard Goos, Juris Hartmanis
Application and Theory of Petri Nets 199... Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings - Gerhard Goos
Distributed Algorithms: 10th International Workshop, Wdag '96, Bologna, Italy, October 9 - 11, 1996. Proceedings - Gerhard Goos
Directions in Databases: 12th British Na... Directions in Databases: 12th British National Conference on Databases, Bncod 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings - David S. Bowers, Juris Hartmanis, Gerhard Goos
Mathematical Foundations of Computer Science 1997: 22nd International Symposium, Mfcs'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings - Gerhard Goos, Peter Ruzicka
Caap '92 - J. C. Raoult, Juris Hartmanis... Caap '92 - J. C. Raoult, Juris Hartmanis, Gerhard Goos
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.