Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings - Couverture souple

9783540676645: Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Couverture souple

ISBN 10 : 3540676643 ISBN 13 : 9783540676645

Editeur : Springer, 2000

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 20

11 Neuf

De EUR 48,37

This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000. The 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submissions and 20 system description submissions. Also included are contributions corresponding to invited talks and tutorials. The accepted papers cover a variety of topics related to theorem proving and its applications such as proof-carrying code, cryptographic protocol verification, model checking, cooperating decision procedures, program verification, and resolution.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2000
Langue: anglais
ISBN 10: 3540676643
ISBN 13: 9783540676645
Reliure: Broch�
Nombre de pages: 540
�diteur: McAllester David
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Tr�s bon

Lecture Notes in Artificial Intelligence...

Afficher cet article

EUR 20

Autre devise

EUR 9,95 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 48,37

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9783662176870: Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Edition pr�sent�e

ISBN 10 : 3662176874 ISBN 13 : 9783662176870
Editeur : Springer, 2014
Couverture souple

R�sultats de recherche pour Automated Deduction - CADE-17: 17th International Conference...

Image d'archives

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Artificial Intelligence, Band 1831).

McAllester, David (Ed.):

Edit� par Berlin, Heidelberg: Springer-Verlag, 2000

ISBN 10 : 3540676643 ISBN 13 : 9783540676645

Ancien ou d'occasion Broschiert

Vendeur : Antiquariat Bernhardt, Kassel, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Broschiert. Etat : Sehr gut. Lecture Notes in Artificial Intelligence, Band 1831. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIII, 512 Seiten, Englisch 690g. N� de r�f. du vendeur 492474

Contacter le vendeur

Acheter D'occasion

EUR 20

Autre devise

Frais de port : EUR 9,95

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automated Deduction - CADE-17

McAllester, David

Edit� par Springer Berlin Heidelberg, 2000

ISBN 10 : 3540676643 ISBN 13 : 9783540676645

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CAD. N� de r�f. du vendeur 4898319

Contacter le vendeur

Acheter neuf

EUR 48,37

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science)

McAllester, David [Editor]

Edit� par Springer, 2000

ISBN 10 : 3540676643 ISBN 13 : 9783540676645

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N� de r�f. du vendeur UTD1423701

Contacter le vendeur

Acheter D'occasion

EUR 6,71

Autre devise

Frais de port : EUR 55,74

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science, 1831)

Edit� par Springer, 2000

ISBN 10 : 3540676643 ISBN 13 : 9783540676645

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540676645_new

Contacter le vendeur

Acheter neuf

EUR 58,32

Autre devise

Frais de port : EUR 4,60

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

David McAllester

Edit� par Springer Berlin Heidelberg, 2000

ISBN 10 : 3540676643 ISBN 13 : 9783540676645

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as proof carrying code, cryptographic protocol veri cation, model checking, cooperating decision procedures, program veri cation, and resolution theorem proving. The program also included three invited lectures: 'High-level veri cation using theorem proving and formalized mathematics' by John Harrison, 'Sc- able Knowledge Representation and Reasoning Systems' by Henry Kautz, and 'Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice' by Carl Seger. Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ve workshops held in conjunction with CADE-17. N� de r�f. du vendeur 9783540676645

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automated Deduction - CADE-17

David McAllester

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2000, 2000

ISBN 10 : 3540676643 ISBN 13 : 9783540676645

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as proof carrying code, cryptographic protocol veri cation, model checking, cooperating decision procedures, program veri cation, and resolution theorem proving. The program also included three invited lectures: �High-level veri cation using theorem proving and formalized mathematics� by John Harrison, �Sc- able Knowledge Representation and Reasoning Systems� by Henry Kautz, and �Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice� by Carl Seger. Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ve workshops held in conjunction with CADE-17.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch. N� de r�f. du vendeur 9783540676645

Contacter le vendeur