. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Get it on iTunesJetzt bei Google Play
Tipp von eurobuch.de
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 15,42 €, größter Preis: 128,39 €, Mittelwert: 66,21 €
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Mark E. Stickel
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Mark E. Stickel:

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Taschenbuch

ISBN: 3540528857

Taschenbuch, [EAN: 9783540528852], Springer Berlin Heidelberg, Springer Berlin Heidelberg, Book, [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Fachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
fachbuecher-weltversand
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Mark E. Stickel
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Mark E. Stickel:

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Taschenbuch

ISBN: 3540528857

Taschenbuch, [EAN: 9783540528852], Springer Berlin Heidelberg, Springer Berlin Heidelberg, Book, [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Fachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
Amazon.de
Neuware Versandkosten:Versandkostenfrei innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Gewöhnlich versandfertig in 24 Stunden (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Editor-Mark E. Stickel
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Editor-Mark E. Stickel:
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Taschenbuch

1990

ISBN: 9783540528852

ID: 503192395

Springer, 1990-08-10. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available., Springer, 1990-08-10

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 14.41
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Stickel, Mark E. [Editor]
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Stickel, Mark E. [Editor]:
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Taschenbuch

1990, ISBN: 9783540528852

ID: 859948208

Springer, 1990-07-17. Paperback. Good. Ex-library paperback in nice condition with the usual markings and attachments., Springer, 1990-07-17

gebrauchtes bzw. antiquarisches Buch Biblio.com
GuthrieBooks
Versandkosten: EUR 22.50
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
10th International Conference on Automated Deduction - Mark E. Stickel
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Mark E. Stickel:
10th International Conference on Automated Deduction - Taschenbuch

1990, ISBN: 9783540528852

ID: 258051

Kaiserslautern, FRG, July 24-27, 1990. Proceedings, 1990, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Tenth International Conference on Automated Deduction
Autor:

Stickel, Mark E.

Titel:

Tenth International Conference on Automated Deduction

ISBN-Nummer:

3540528857

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

Detailangaben zum Buch - Tenth International Conference on Automated Deduction


EAN (ISBN-13): 9783540528852
ISBN (ISBN-10): 3540528857
Taschenbuch
Erscheinungsjahr: 1990
Herausgeber: Springer-Verlag GmbH
688 Seiten
Gewicht: 1,052 kg

Buch in der Datenbank seit 21.06.2007 06:03:27
Buch zuletzt gefunden am 27.10.2016 15:06:20
ISBN/EAN: 3540528857

ISBN - alternative Schreibweisen:
3-540-52885-7, 978-3-540-52885-2

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher