- 5 Résultats
prix le plus bas: € 106,99, prix le plus élevé: € 153,38, prix moyen: € 129,21
1
Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings - Andrei Voronkov
Commander
sur AbeBooks.de
€ 127,96
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Andrei Voronkov:

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings - Livres de poche

2005, ISBN: 354030553X

[EAN: 9783540305538], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; RESOLUTION; ABSTRACTION; AILOGICS; ARTIFICIALINTELLIGENCE; AUTOMATA; AUTOM… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
Logic for Programming, Artificial Intelligence, and Reasoning - Andrei Voronkov
Commander
sur booklooker.de
€ 106,99
Envoi: € 4,501
Commander
Détails du fournisseur
Lien sponsorisé

Andrei Voronkov:

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

2024, ISBN: 9783540305538

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Programming, Arti cial Intelli… Plus…

Frais d'envoiVersand nach Deutschland. (EUR 4.50) AHA-BUCH GmbH
fermer(X)
3
Logic for Programming, Artificial Intelligence, and Reasoning - Sutcliffe, Geoff|Voronkov, Andrei
Commander
sur AbeBooks.de
€ 118,61
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Sutcliffe, Geoff|Voronkov, Andrei:
Logic for Programming, Artificial Intelligence, and Reasoning - Livres de poche

2005

ISBN: 354030553X

[EAN: 9783540305538], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KüNSTLICHE KI - AI RESOLUTION ABSTRACTION AILOGICS ARTIFICIALINTELLIGENCE AUTOMATA AUTOMATEDDEDUCTION AUTOMAT… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
fermer(X)
4
Logic for Programming Artificial Intelligence and Reasoning by Geoff Sutcliffe Paperback | Indigo Chapters
Commander
sur Indigo.ca
C$ 222,50
(environ € 153,38)
Commander
Détails et expédition
Lien sponsorisé
Logic for Programming Artificial Intelligence and Reasoning by Geoff Sutcliffe Paperback | Indigo Chapters - nouveau livre

2005, ISBN: 9783540305538

12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings | Logic for Programming Artificial Intelligence and Reasoning by Geoff Sutcliffe Paperback … Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
5
Logic for Programming, Artificial Intelligence, and Reasoning - Geoff Sutcliffe; Andrei Voronkov
Commander
sur lehmanns.de
€ 139,09
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Geoff Sutcliffe; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Livres de poche

2005, ISBN: 9783540305538

12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)
fermer(X)
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
Auteur:
Titre:
ISBN:

9783540305538


This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005.The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full paper submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

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


EAN (ISBN-13): 9783540305538
ISBN (ISBN-10): 354030553X
Version reliée
Livre de poche
Date de parution: 2005
Editeur: Springer Berlin
764 Pages
Poids: 1,134 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-06-12T11:41:35+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-05-27T21:25:33+02:00 (Paris)
ISBN/EAN: 9783540305538

ISBN - Autres types d'écriture:
3-540-30553-X, 978-3-540-30553-8
Autres types d'écriture et termes associés:
Auteur du livre: sutcliffe, voronkov, sutcliff, kurt gödel, kurt held
Titre du livre: logic for computer science, for jamaica, jamaica bay, logic programming artificial intelligence reasoning, logics for artificial intelligence, reason art, proceedings artificial intelligence conference, proceedings the second international conference, logic pro

Données de l'éditeur

Auteur: Geoff Sutcliffe; Andrei Voronkov
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic for Programming, Artificial Intelligence, and Reasoning - 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Editeur: Springer; Springer Berlin
744 Pages
Date de parution: 2005-11-24
Berlin; Heidelberg; DE
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIV, 744 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Resolution; abstraction; ai logics; artificial intelligence; automata; automated deduction; automated reasoning; automated theorem proving; description logics; distributed systems; formal verification; logic programming; model checking; semantics; verification; Software Engineering; Artificial Intelligence; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

Independently Checkable Proofs from Decision Procedures: Issues and Progress.- Zap: Automated Theorem Proving for Software Analysis.- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.- Scaling Up: Computers vs. Common Sense.- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.- Disjunctive Constraint Lambda Calculi.- Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.- The nomore?+?+ Approach to Answer Set Solving.- Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.- The Four Sons of Penrose.- An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.- Second-Order Principles in Specification Languages for Object-Oriented Programs.- Strong Normalization of the Dual Classical Sequent Calculus.- Termination of Fair Computations in Term Rewriting.- On Confluence of Infinitary Combinatory Reduction Systems.- Matching with Regular Constraints.- Recursive Path Orderings Can Also Be Incremental.- Automating Coherent Logic.- The Theorema Environment for Interactive Proof Development.- A First Order Extension of Stålmarck’s Method.- Regular Derivations in Basic Superposition-Based Calculi.- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.- Monotone AC-Tree Automata.- On the Specification of Sequent Systems.- Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic.- Integration of a Software Model Checker into Isabelle.- Experimental Evaluation of Classical Automata Constructions.- Automatic Validation of Transformation Rules for JavaVerification Against a Rewriting Semantics.- Reasoning About Incompletely Defined Programs.- Model Checking Abstract State Machines with Answer Set Programming.- Characterizing Provability in BI’s Pointer Logic Through Resource Graphs.- A Unified Memory Model for Pointers.- Treewidth in Verification: Local vs. Global.- Pushdown Module Checking.- Functional Correctness Proofs of Encryption Algorithms.- Towards Automated Proof Support for Probabilistic Distributed Systems.- Algebraic Intruder Deductions.- Satisfiability Checking for PC(ID).- Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.- Another Complete Local Search Method for SAT.- Inference from Controversial Arguments.- Programming Cognitive Agents in Defeasible Logic.- The Relationship Between Reasoning About Privacy and Default Logics.- Comparative Similarity, Tree Automata, and Diophantine Equations.- Analytic Tableaux for KLM Preferential and Cumulative Logics.- Bounding Resource Consumption with Gödel-Dummett Logics.- On Interpolation in Existence Logics.- Incremental Integrity Checking: Limitations and Possibilities.- Concepts of Automata Construction from LTL.
< pour archiver...