|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings 1991 Edition (Lecture Notes in Artificial Intelligence) | Jantke, Klaus P. | Paperback | 3540545646 /
9783540545644 | 09/1991 | $52.24 |
|  | Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings 1993 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Brewka, Gerhard | Paperback | 3540564330 /
9783540564331 | 02/1993 | $52.24 |
|  | Theorie Der Logischen Programmierung: Eine Elementare Einführung (Springer-Lehrbuch) (German) | Schmitt, Peter H. | Paperback | 3540557024 /
9783540557029 | 09/1992 | $56.99 |
|  | Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino 2007 Edition (Lecture Notes in Computer Science) | Beckert, Bernhard | Paperback | 354068977X /
9783540689775 | 01/2007 | $104.49 |
|
|
|