. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 15,42 €, prix le plus élevé: 128,39 €, prix moyen: 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
Livre non disponible
(*)
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) - Livres de poche

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

livre d'occasion Amazon.de (Intern...
fachbuecher-weltversand
Gebraucht Frais d'envoiInnerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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
Livre non disponible
(*)
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) - Livres de poche

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

Nouveaux livres Amazon.de (Intern...
Amazon.de
Neuware Frais d'envoiVersandkostenfrei innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Gewöhnlich versandfertig in 24 Stunden (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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
Livre non disponible
(*)
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) - Livres de poche

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

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 14.41
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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]
Livre non disponible
(*)
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) - Livres de poche

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

livre d'occasion Biblio.com
GuthrieBooks
Frais d'envoi EUR 22.50
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
10th International Conference on Automated Deduction - Mark E. Stickel
Livre non disponible
(*)
Mark E. Stickel:
10th International Conference on Automated Deduction - Livres de poche

1990, ISBN: 9783540528852

ID: 258051

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

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Tenth International Conference on Automated Deduction
Auteur:

Stickel, Mark E.

Titre:

Tenth International Conference on Automated Deduction

ISBN:

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.

Informations détaillées sur le livre - Tenth International Conference on Automated Deduction


EAN (ISBN-13): 9783540528852
ISBN (ISBN-10): 3540528857
Livre de poche
Date de parution: 1990
Editeur: Springer-Verlag GmbH
688 Pages
Poids: 1,052 kg

Livre dans la base de données depuis 21.06.2007 06:03:27
Livre trouvé récemment le 12.06.2017 16:08:13
ISBN/EAN: 9783540528852

ISBN - Autres types d'écriture:
3-540-52885-7, 978-3-540-52885-2


< pour archiver...
Livres en relation