-
401. Logic Programming and Automated Reasoning: International Conference Lpar *92 St. Petersburg, Russia, July 15-20, 1992: Proceedings (Lecture Notes in Artificial Intelligence 624)
Seller Description: New, Satisfaction guaranteed! ! See More Details
1992, Springer
ISBN-13: 9780387557274
Paperback, New
Irving, TX, USA
$90.92
-
402. Automatische Synthese Rekursiver Programme Als Beweisverfahren (Informatik-Fachberichte, 302) (German Edition)
by Biundo, Susanne
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1992, Springer
ISBN-13: 9783540553007
perfect, Good
Santa Clarita, CA, USA
$101.74
-
403. Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992: Proceedings (Lecture Notes in Artificial Intelligence 624)
by Andrei Voronkov
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1992, Springer-Verlag
ISBN-13: 9780387557274
paperback, Good
Santa Clarita, CA, USA
$119.95
-
404. Logic Programming and Automated Reasoning: International Conference Lpar '92, St. Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)
Seller Description: New. See More Details
1992, Springer
ISBN-13: 9783540557272
paperback, New
Santa Clarita, CA, USA
$127.68
-
405. Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992: Proceedings (Lecture Notes in Artificial Intelligence 624)
by Andrei Voronkov
Seller Description: New. See More Details
1992, Springer-Verlag
ISBN-13: 9780387557274
paperback, New
Miramar, FL, USA
$150.98
-
406. Simulation in Der Regelungstechnik
Seller Description: Brand New. New. See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
New Delhi, DELHI, INDIA
$53.75
-
407. Simulation in Der Regelungstechnik
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
Irving, TX, USA
$64.88
-
408. Simulation in Der Regelungstechnik
by Fasol, Karl H (Editor), and Diekmann, Klaus (Editor)
Seller Description: New. Text in German. Trade paperback (US). Glued binding. 495 p. Contains: Illustrations, black & white. Fachberichte Simulation, 12. See More Details
1990, Springer
ISBN-13: 9783540529422
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$70.70
-
409. Simulation in Der Regelungstechnik
Seller Description: Brand New. New. See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
New Delhi, DELHI, INDIA
$74.24
-
410. Simulation in Der Regelungstechnik
by Fasol, Karl H (Editor), and Diekmann, Klaus (Editor)
Seller Description: New. Print on demand Text in German. Trade paperback (US). Glued binding. 495 p. Contains: Illustrations, black & white. Fachberichte Simulation, 12. See More Details
1990, Springer
ISBN-13: 9783540529422
Trade paperback, New
NV, USA
$74.75
-
411. Simulation in Der Regelungstechnik
Seller Description: New, Satisfaction guaranteed! ! See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
Irving, TX, USA
$80.24
-
412. Simulation in Der Regelungstechnik (Fachberichte Simulation, 12) (German Edition)
by Fasol, Karl H.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1990, Springer
ISBN-13: 9783540529422
paperback, Good
Santa Clarita, CA, USA
$114.78
-
413. Automatic Programming Applied to Vlsi Cad Software
Seller Description: Brand New. New. See More Details
1990, Springer
ISBN-13: 9780792391128
New Delhi, DELHI, INDIA
$118.47
-
414. Automatic Programming Applied to VLSI CAD Software: A Case Study
by Setliff, Dorothy E, and Rutenbar, Rob A
Seller Description: New. Sewn binding. Cloth over boards. 234 p. The Springer International Engineering and Computer Science, 101. See More Details
1990, Springer
ISBN-13: 9780792391128
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$188.05
-
415. Automatic Programming Applied to Vlsi Cad Software: a Case Study (the Springer International Series in Engineering and Computer Science, 101)
by Setliff, Dorothy E.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1990, Springer
ISBN-13: 9780792391128
hardcover, Good
Santa Clarita, CA, USA
$200.06
-
416. Automated Theorem Proving
Seller Description: Brand New. New. See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Paperback, New
New Delhi, DELHI, INDIA
$84.66
-
417. Automated Theorem Proving
Seller Description: Brand New. New. See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Paperback, New
New Delhi, DELHI, INDIA
$96.58
-
418. Automated Theorem Proving
Seller Description: New, Satisfaction guaranteed! ! See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Paperback, New
Irving, TX, USA
$105.50
-
419. Automated Theorem Proving
by Bibel, Wolfgang
Seller Description: New. Trade paperback (US). Glued binding. 289 p. Künstliche Intelligenz. See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$110.97
-
420. Automated Theorem Proving (Künstliche Intelligenz)
by Bibel, Wolfgang
Seller Description: New. See More Details
1987, Vieweg+Teubner Verlag
ISBN-13: 9783528185206
paperback, New
Miramar, FL, USA
$137.97
-
421. Automated Theorem Proving (Künstliche Intelligenz)
by Bibel, Wolfgang
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1987, Vieweg+Teubner Verlag
ISBN-13: 9783528185206
paperback, Good
Santa Clarita, CA, USA
$141.54
-
422. Automated Theorem Proving (Künstliche Intelligenz)
by Bibel, Wolfgang
Seller Description: New. See More Details
1987, Vieweg+Teubner Verlag
ISBN-13: 9783528185206
paperback, New
Santa Clarita, CA, USA
$182.16
|
