logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Karl Meinke's Books back

language per page order
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Egon Börger, Yuri Gurevich, Karl Meinke
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
by Karl Meinke (author), Yuri Gurevich (author), Egon Börger (author)
publisher: Springer, 336 pages, Paperback" /> publish date: August 1st 1994
format: paperback pages: 336
language: English
ISBN: 0387582770 (9780387582771)
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science) - Jan Heering, Karl Meinke, Bernhard Mxf6ller, Tobias Nipkow
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science)
by Bernhard Mxf6ller (author), Karl Meinke (author), Jan Heering (author), Tobias Nipkow (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 348
language: English
ASIN: B000QCQHCM
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers - Gilles Dowek, Jan Heering, Bernhard Möller, Karl Meinke
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers
by Gilles Dowek (author), Karl Meinke (author), Jan Heering (author), Bernhard Möller (author)
publisher: Springer publish date: May 8th 1996
format: paperback pages: 296
language: English
ISBN: 3540612548 (9783540612544)
Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September ... (Lecture Notes in Computer Science) - Catuscia Palamidessi, Hugh Glaser, Karl Meinke
Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September ... (Lecture Notes in Computer Science)
by Karl Meinke (author), Hugh Glaser (author), Catuscia Palamidessi (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 504
language: English
ASIN: B000VI54A2
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected - Jan Heering, Karl Meinke
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected
by Jan Heering (author), Karl Meinke (author)
publisher: Springer publish date: July 1st 1994
format: paperback pages: 351
language: English
ISBN: 0387582339 (9780387582337)
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science) - Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Mxf6ller
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science)
by Karl Meinke (author), Bernhard Mxf6ller (author), Gilles Dowek (author), Jan Heering (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 287
language: English
ASIN: B000V1JU9U
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.