|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Aussagenlogik: Deduktion Und Algorithmen: Deduktion Und Algorithmen 1994 Edition (Leitfäden Und Monographien Der Informatik) (German) | Kleine Büning, Hans | Paperback | 3519021331 / 9783519021339 | 01/1994 | $66.49 |
| | Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings 1991 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540544879 / 9783540544876 | 09/1991 | $52.24 |
| | Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings 1992 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 354055789X / 9783540557890 | 09/1992 | $52.24 |
| | Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers 1993 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540569928 / 9783540569923 | 08/1993 | $52.24 |
| | CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings 1988 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540502416 / 9783540502418 | 09/1988 | $52.24 |
| | CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings 1990 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540527532 / 9783540527534 | 07/1990 | $52.24 |
| | Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings 1989 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 354051659X / 9783540516590 | 09/1989 | $52.24 |
| | PROLOG: Grundlagen Und Anwendungen 2.Aufl. 1988 Edition (Xleitfäden Der Angewandten Informatik) (German) | Kleine Büning, Hans | Paperback | 351912484X / 9783519124849 | 01/1988 | $61.74 |
| | Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Kleine Büning, Hans | Paperback | 3540797181 / 9783540797180 | 04/2008 | $52.24 |
|
|
|