Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Déduction Automatisée CADE-22 : 22ème Conférence Internationale sur la Déduction Automatisée

État :

Entièrement neuf

Quantité :

3 disponibles

Prix :

66,66 $US

Environ91,12 $C

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

Sans frais Economy Shipping. En savoir plussur l'expédition

Lieu : Fairfield, Ohio, États-Unis

Livraison :

Livraison prévue entre le mar. 11 juin et le sam. 22 juin à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

grandeagleretail (920102)
98,3% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :395144493115

Dernière mise à jour : mai 19, 2024 02:31:25 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Entièrement neuf: Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ...

ISBN-13: 9783642029585

Book Title: Automated Deduction CADE-22

ISBN: 9783642029585

Series: Lecture Notes in Computer Science Ser.

Publication Year: 2009

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Author: Renate A. Schmidt

Item Length: 9.3in

Publisher: Springer Berlin / Heidelberg

Item Width: 6.1in

Item Weight: 27.8 Oz

Number of Pages: Xiv, 504 Pages

À propos de ce produit

Product Information

This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2-7, 2009. CADE is the major forum for the presentation of research in all aspects of automated deduction. Within this general topic the conference is devoted to foundations, applications, implementations and practical experiences. CADE was founded in 1974 when it was held in Argonne, USA. Since then CADE has been organized ?rst on a bi-annual basis mostly and since 1996 on an annual basis, in 2001, 2004, 2004, 2006 and 2008 as a constituent of IJCAR. This year the Program Committee selected 32 technical contributions out of 77 initial submissions. Of the selected papers 27 were regular papers and 5 were system papers. Each paper was refereed by at least three reviewers on its sign- icance, technical quality, originality, quality of presentation and relevance to the conference. The refereeing process and the Program Committee meeting were conducted electronically via the Internet using the EasyChair conference m- agement system. The program included three invited lectures by distinguished experts in the area: Instantiation-Based Automated Reasoning: From Theory to Practice by Konstantin Korovin(The Universityof Manchester, UK), Integrated Reasoning and Proof Choice Point Selection in the Jahob System: Mechanisms for Program Survival by Martin Rinard (Massachusetts Institute of Technology, USA), and Building Theorem Provers byMarkStickel(SRIInternational, USA).

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

3642029582

ISBN-13

9783642029585

eBay Product ID (ePID)

77402315

Product Key Features

Author

Renate A. Schmidt

Publication Name

Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Format

Trade Paperback

Language

English

Series

Lecture Notes in Computer Science Ser.

Publication Year

2009

Type

Textbook

Number of Pages

Xiv, 504 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Item Weight

27.8 Oz

Additional Product Features

Series Volume Number

5663

Number of Volumes

1 Vol.

Lc Classification Number

Q334-342

Table of Content

Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.- Session 2. Combinations and Extensions.- Superposition and Model Evolution Combined.- On Deciding Satisfiability by DPLL( ) and Unsound Theorem Proving.- Combinable Extensions of Abelian Groups.- Locality Results for Certain Extensions of Theories with Bridging Functions.- Session 3. Minimal Unsatisfiability and Automated Reasoning Support.- Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.- Does This Set of Clauses Overlap with at Least One MUS?.- Progress in the Development of Automated Theorem Proving for Higher-Order Logic.- Session 4. System Descriptions.- System Description: H-PILoT.- SPASS Version 3.5.- Dei: A Theorem Prover for Terms with Integer Exponents.- veriT: An Open, Trustable and Efficient SMT-Solver.- Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.- Session 5. Invited Talk.- Instantiation-Based Automated Reasoning: From Theory to Practice.- Session 6. Interpolation and Predicate Abstraction.- Interpolant Generation for UTVPI.- Ground Interpolation for Combined Theories.- Interpolation and Symbol Elimination.- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.- Session 7. Resolution-Based Systems for Non-classical Logics.- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method.- A Refined Resolution Calculus for CTL.- Fair Derivations in Monodic Temporal Reasoning.- Session 8. Termination Analysis and Constraint Solving.- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs.- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.- Session 9. Invited Talk.-Building Theorem Provers.- Session 10. Rewriting, Termination and Productivity.- Termination Analysis by Dependency Pairs and Inductive Theorem Proving.- Beyond Dependency Graphs.- Computing Knowledge in Security Protocols under Convergent Equational Theories.- Complexity of Fractran and Productivity.- Session 11. Models.- Automated Inference of Finite Unsatisfiability.- Decidability Results for Saturation-Based Model Building.- Session 12. Modal Tableaux with Global Caching.- A Tableau Calculus for Regular Grammar Logics with Converse.- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.- Session 13. Arithmetic.- Volume Computation for Boolean Combination of Linear Arithmetic Constraints.- A Generalization of Semenov's Theorem to Automata over Real Numbers.- Real World Verification.

2009

Topic

Programming / General, Intelligence (Ai) & Semantics, Logic, Compilers

Lccn

2015-458534

Dewey Decimal

004n/A

Intended Audience

Scholarly & Professional

Illustrated

Yes

Genre

Computers, Mathematics

Description de l'objet du vendeur

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :395144493115

Dernière mise à jour : mai 19, 2024 02:31:25 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Fairfield, Ohio, États-Unis

Expédition :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert

Lieux exclus :

Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela

Quantité :

Changer de pays :

Code postal :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	Sans frais	États-Unis	Economy Shipping	Livraison prévue entre le mar. 11 juin et le sam. 22 juin à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 10 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.