2008, ISBN: 9783540252368
Series Editor: Voronkov, Andrei, Springer Berlin Heidelberg, Taschenbuch, Auflage: 2005, 580 Seiten, Publiziert: 2008-10-10T00:00:01Z, Produktgruppe: Buch, 2.15 kg, Informatik, IT-Ausbild… Plus…
amazon.de Prestivo2 Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2005, ISBN: 9783540252368
Editor: Baader, Franz, Editor: Voronkov, Andrei, Springer, Paperback, Auflage: 2005, 572 Seiten, Publiziert: 2005-03-07T00:00:01Z, Produktgruppe: Book, 0.97 kg, Special Features, Books, A… Plus…
amazon.co.uk Smaller World Future Frais d'envoiUsually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
2005, ISBN: 9783540252368
Editor: Baader, Franz, Editor: Voronkov, Andrei, Springer, Paperback, Auflage: 2005, 572 Seiten, Publiziert: 2005-03-07T00:00:01Z, Produktgruppe: Book, 0.97 kg, Special Features, Books, A… Plus…
amazon.co.uk Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - nouveau livre
2005, ISBN: 3540252363
2005 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Theoretische Inf… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2005, ISBN: 9783540252368
Springer, 2005. 1st. Paperback. New/New., Springer, 2005, 6
Biblio.co.uk |
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... Notes in Computer Science, 3452, Band 3452) - Livres de poche
2008, ISBN: 9783540252368
Series Editor: Voronkov, Andrei, Springer Berlin Heidelberg, Taschenbuch, Auflage: 2005, 580 Seiten, Publiziert: 2008-10-10T00:00:01Z, Produktgruppe: Buch, 2.15 kg, Informatik, IT-Ausbild… Plus…
2005, ISBN: 9783540252368
Editor: Baader, Franz, Editor: Voronkov, Andrei, Springer, Paperback, Auflage: 2005, 572 Seiten, Publiziert: 2005-03-07T00:00:01Z, Produktgruppe: Book, 0.97 kg, Special Features, Books, A… Plus…
2005
ISBN: 9783540252368
Editor: Baader, Franz, Editor: Voronkov, Andrei, Springer, Paperback, Auflage: 2005, 572 Seiten, Publiziert: 2005-03-07T00:00:01Z, Produktgruppe: Book, 0.97 kg, Special Features, Books, A… Plus…
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - nouveau livre
2005, ISBN: 3540252363
2005 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Theoretische Inf… Plus…
2005, ISBN: 9783540252368
Springer, 2005. 1st. Paperback. New/New., Springer, 2005, 6
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... Notes in Computer Science, 3452, Band 3452)
EAN (ISBN-13): 9783540252368
ISBN (ISBN-10): 3540252363
Version reliée
Livre de poche
Date de parution: 2005
Editeur: Baader, Franz, Springer Berlin Heidelberg
580 Pages
Poids: 0,971 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-06-05T12:44:04+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-07T10:38:22+01:00 (Paris)
ISBN/EAN: 3540252363
ISBN - Autres types d'écriture:
3-540-25236-3, 978-3-540-25236-8
Autres types d'écriture et termes associés:
Auteur du livre: baader franz, voronkov, baade
Titre du livre: logic for computer science, uruguay, montevideo, logic programming artificial intelligence reasoning, logics for artificial intelligence, reason art, lecture notes artificial intelligence
Données de l'éditeur
Auteur: Franz Baader; Andrei Voronkov
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Editeur: Springer; Springer Berlin
560 Pages
Date de parution: 2005-03-07
Berlin; Heidelberg; DE
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 560 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Mathematik; Informatik; Automat; artificial intelligence; automated reasoning; description logics; formal verification; fuzzy; intelligence; logic; programming; proof theory; proving; theorem proving; verification; Software Engineering; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Programming Techniques; Künstliche Intelligenz; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA
CERES in Many-Valued Logics.- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.- Abstract DPLL and Abstract DPLL Modulo Theories.- Combining Lists with Non-stably Infinite Theories.- Abstract Model Generation for Preprocessing Clause Sets.- Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying.- Applications of General Exact Satisfiability in Propositional Logic Modelling.- BCiC: A System for Code Authentication and Verification.- Ordered Resolution with Selection for .- On a Semantic Subsumption Test.- Suitable Graphs for Answer Set Programming.- Weighted Answer Sets and Applications in Intelligence Analysis.- How to Fix It: Using Fixpoints in Different Contexts.- Reasoning About Systems with Transition Fairness.- Entanglement – A Measure for the Complexity of Directed Graphs with Applications to Logic and Games.- How the Location of * Influences Complexity in Kleene Algebra with Tests.- The Equational Theory of ??, 0, 1,?+?, ×, ?? Is Decidable, but Not Finitely Axiomatisable.- A Trichotomy in the Complexity of Propositional Circumscription.- Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.- Evaluating QBFs via Symbolic Skolemization.- The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs.- Automated Termination Analysis for Incompletely Defined Programs.- Automatic Certification of Heap Consumption.- A Formalization of Off-Line Guessing for Security Protocol Analysis.- Abstraction-Carrying Code.- A Verification Environment for Sequential Imperative Programs in Isabelle/HOL.- Can a Higher-Order and a First-Order Theorem Prover Cooperate?.- A Generic Framework for Interprocedural Analyses of NumericalProperties.- Second-Order Matching via Explicit Substitutions.- Knowledge-Based Synthesis of Distributed Systems Using Event Structures.- The Inverse Method for the Logic of Bunched Implications.- Cut-Elimination: Experiments with CERES.- Uniform Rules and Dialogue Games for Fuzzy Logics.- Nonmonotonic Description Logic Programs: Implementation and Experiments.- Implementing Efficient Resource Management for Linear Logic Programming.- Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.Includes supplementary material: sn.pub/extras
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540000105 Logic for Programming Artificial Intelligence and Reasoning (Matthias Baaz; Andrei Voronkov)
- 9783540000105 Logic for Programming Artificial Intelligence and Reasoning (Matthias Baaz; Andrei Voronkov)
- 9783540201014 Logic for Programming Artificial Intelligence and Reasoning (Moshe Vardi; Andrei Voronkov)
- Logic for Programming Artificial Intelligence and Reasoning (Martin Davis, Ansgar Fehnker, Annabelle McIver & Andrei Voronkov)
< pour archiver...