Broschiert. Lecture Notes in Artificial Intelligence, Band 6173. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 534 Seiten, Englisch 808g. N� de r�f. du vendeur 492470

Contacter le vendeur

Acheter D'occasion

EUR 26,11

Autre devise

Frais de port : EUR 35,95

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Unbekannt

Edit� par Springer-Verlag GmbH, 2010

ISBN 10 : 3642142028 ISBN 13 : 9783642142024

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut - Bibliotheksaufl�sung Bundeswehr, Buchecken/-kanten leicht angesto�en | Seiten: 534 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 8142744/12

Contacter le vendeur

Acheter D'occasion

EUR 26,12

Autre devise

Frais de port : EUR 45

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Automated Reasoning (Paperback)

Juergen Giesl

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010

ISBN 10 : 3642142028 ISBN 13 : 9783642142024

Neuf Paperback

Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, and Sydney (Australia) in 2008. IJCAR comprises s- eral leading conferences and workshops. In 2010, IJCAR was the fusion of the following events: CADE: International Conference on Automated Deduction FroCoS: International Symposium on Frontiers of Combining Systems FTP: International Workshop on First-Order Theorem Proving TABLEAUX: InternationalConferenceonAutomatedReasoningwith- alytic Tableaux and Related Methods There were 89 submissions (63 regular papers and 26 system descriptions) of which 40 were accepted (28 regular papers and 12 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 92 external referees. Afterwards, the submissions were discussed by the ProgramCommittee during two weeks by means of Andrei Voronkovs EasyChair system. We want to thank Andrei very much for providing his system, which was very helpful for the management of the submissions and reviews and for the discussion of the Program Committee. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783642142024

Contacter le vendeur

Acheter neuf

EUR 127,41

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automated Reasoning

Giesl, J�rgen|H�hnle, Reiner

Edit� par Springer Berlin Heidelberg, 2010

ISBN 10 : 3642142028 ISBN 13 : 9783642142024

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University o. N� de r�f. du vendeur 5050432

Contacter le vendeur