|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings 1990 Edition (Lecture Notes in Computer Science) | Kirchner, Helene | Paperback | 3540531629 / 9783540531623 | 09/1990 | $52.24 |
| | Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings 1992 Edition (Lecture Notes in Computer Science) | Kirchner, Helene | Paperback | 354055873X / 9783540558736 | 08/1992 | $52.24 |
| | Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les- Bains, Reunion Island, France, September 9- 2002 Edition (Lecture Notes in Computer Science) | Kirchner, Helene | Paperback | 3540441441 / 9783540441441 | 08/2002 | $52.24 |
| | Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science) | Kirchner, Claude | Paperback | 3540646752 / 9783540646754 | 06/1998 | $52.24 |
| | Frontiers of Combining Systems: Third International Workshop, Frocos 2000 Nancy, France, March 22-24, 2000 Proceedings 2000 Edition (Lecture Notes in Artificial Intelligence) | Kirchner, Helene | Paperback | 3540672818 / 9783540672814 | 03/2000 | $52.24 |
| | Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday 2007 Edition (Lecture Notes in Computer Science) | Comon-Lundh, Hubert | Paperback | 3540731466 / 9783540731467 | 06/2007 | $52.24 |
| | Trees in Algebra and Programming - Caap '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings 1996 Edition (Lecture Notes in Computer Science) | Kirchner, Helene | Paperback | 3540610642 / 9783540610649 | 04/1996 | $52.24 |
|
|
|