The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Helene Kirchner Books

Results for Helene Kirchner

Showing 1 to 3 of 3 results
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings: 463 (Lecture Notes in Computer Science) Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings: 463 (Lecture Notes in Computer Science) by Helene Kirchner,Wolfgang Wechler

Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings: 463 (Lecture Notes in Computer Science)

by Helene Kirchner,Wolfgang Wechler


ISBN 13: 9783540531623

Format: Paperback (400 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $60.10  
New : $60.10
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... 2422 (Lecture Notes in Computer Science) Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... 2422 (Lecture Notes in Computer Science) by Helene Kirchner,Christophe Ringeissen

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... 2422 (Lecture Notes in Computer Science)

by Helene Kirchner,Christophe Ringeissen


ISBN 13: 9783540441441

Format: Paperback (520 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $63.60  
New : $63.60
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science) Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science) by Helene Kirchner,Claude Kirchner

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science)

by Helene Kirchner,Claude Kirchner


ISBN 13: 9783540646754

Format: Paperback (464 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $60.58  
New : $60.58