- 5 Résultats
prix le plus bas: € 70,91, prix le plus élevé: € 156,87, prix moyen: € 103,52
1
Logic for Programming, Artificial Intelligence, and Reasoning - Fermüller, Christian G.|Voronkov, Andrei
Commander
sur AbeBooks.de
€ 97,43
Envoi: € 0,001
CommanderLien sponsorisé
Fermüller, Christian G.|Voronkov, Andrei:

Logic for Programming, Artificial Intelligence, and Reasoning - Livres de poche

2010, ISBN: 364216241X

[EAN: 9783642162411], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI PROGRAMMIERSPRACHEN ROBOTER ROBOTIK INDUST… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
2
Commander
sur buchfreund.de
€ 70,91
Envoi: € 0,001
CommanderLien sponsorisé

Fermüller, Christian G. und Andrei Voronkov:

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings 2010 - livre d'occasion

2010, ISBN: 9783642162411

2010 Neubindung, Buchrücken leicht geknickt und eingerissen 9260549/12 Versandkostenfreie Lieferung knowledge base,artificial intelligence,automated reasoning,model checking,proving,compu… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
3
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings - Fermüller, Christian G. und Andrei Voronkov
Commander
sur booklooker.de
€ 80,05
Envoi: € 0,001
CommanderLien sponsorisé
Fermüller, Christian G. und Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings - livre d'occasion

2010

ISBN: 9783642162411

[PU: Springer Berlin], Neubindung, Buchrücken leicht geknickt und eingerissen 9260549/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisung… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
4
Commander
sur lehmanns.de
€ 112,34
Envoi: € 0,001
CommanderLien sponsorisé
Christian G. Fermüller; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Livres de poche

2010, ISBN: 9783642162411

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Frais d'envoiTitel z.Zt. nicht lieferbar. (EUR 0.00)
5
Logic for Programming, Artificial Intelligence, and Reasoning Theoretical Computer Science and General Issues - Christian G. Fermüller (editor), Andrei Voronkov (editor)
Commander
sur Blackwells.co.uk
£ 138,69
(environ € 156,87)
Envoi: € 7,351
CommanderLien sponsorisé
Christian G. Fermüller (editor), Andrei Voronkov (editor):
Logic for Programming, Artificial Intelligence, and Reasoning Theoretical Computer Science and General Issues - Livres de poche

ISBN: 9783642162411

paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]

in stock. Frais d'envoiUsually dispatched within 7 days. (EUR 7.35) Blackwells.co.uk

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

Informations détaillées sur le livre - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783642162411
ISBN (ISBN-10): 364216241X
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer Berlin
656 Pages
Poids: 0,938 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-22T00:08:53+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-04-29T08:50:31+02:00 (Zurich)
ISBN/EAN: 364216241X

ISBN - Autres types d'écriture:
3-642-16241-X, 978-3-642-16241-1
Autres types d'écriture et termes associés:
Auteur du livre: voronkov, christian schulz, schulz stephan, halpern, arti, matthias schulz, michael stephan, schulz joseph
Titre du livre: oni, art programming, reasoning science, reason art, proceedings artificial intelligence conference, yogyakarta, logic computer science, october, artificial general intelligence, logic pro


Données de l'éditeur

Auteur: Christian G. Fermüller; Andrei Voronkov
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Editeur: Springer; Springer Berlin
656 Pages
Date de parution: 2010-09-27
Berlin; Heidelberg; DE
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 656 p. 83 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; Extension; artificial intelligence; automated reasoning; computational complexity; concurrency; constraint programming; description logic; description logics; distributed systems; knowledge; knowledge base; knowledge representation; model checking; modeling; proving; Artificial Intelligence; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Compilers and Interpreters; Software Engineering; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA

The Complexity of Partial-Observation Parity Games.- Awareness in Games, Awareness in Logic.- Human and Unhuman Commonsense Reasoning.- Gödel Logics – A Survey.- Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces.- Extended Computation Tree Logic.- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.- SAT Encoding of Unification in .- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.- Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.- Characterising Space Complexity Classes via Knuth-Bendix Orders.- Focused Natural Deduction.- How to Universally Close the Existential Rule.- On the Complexity of the Bernays-Schönfinkel Class with Datalog.- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment.- Lazy Abstraction for Size-Change Termination.- A Syntactical Approach to Qualitative Constraint Networks Merging.- On the Satisfiability of Two-Variable Logic over Data Words.- Generic Methods for Formalising Sequent Calculi Applied to Provability Logic.- Characterising Probabilistic Processes Logically.- fCube: An Efficient Prover for Intuitionistic Propositional Logic.- Superposition-Based Analysis of First-Order Probabilistic Timed Automata.- A Nonmonotonic Extension of KLM Preferential Logic P.- On Strong Normalization of the Calculus of Constructions with Type-Based Termination.- Aligators for Arrays (Tool Paper).- Clause Elimination Procedures for CNF Formulas.- Partitioning SAT Instances for Distributed Solving.- Infinite Families of Finite String Rewriting Systems and Their Confluence.- Polite Theories Revisited.- Clausal Graph Tableaux for Hybrid Logic withEventualities and Difference.- The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach.- On the Complexity of Model Expansion.- Labelled Unit Superposition Calculi for Instantiation-Based Reasoning.- Boosting Local Search Thanks to cdcl.- Interpolating Quantifier-Free Presburger Arithmetic.- Variable Compression in ProbLog.- Improving Resource-Unaware SAT Solvers.- Expansion Nets: Proof-Nets for Propositional Classical Logic.- Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting.- An Isabelle-Like Procedural Mode for HOL Light.- Bottom-Up Tree Automata with Term Constraints.- Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories.- PBINT, A Logic for Modelling Search Problems Involving Arithmetic.- Resolution for Stochastic Boolean Satisfiability.- Symbolic Automata Constraint Solving.

< pour archiver...