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… mais…
amazon.de Prestivo2 Custos de envio:Auf 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… mais…
amazon.co.uk Smaller World Future Custos de envio:Usually 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… mais…
amazon.co.uk Custos de envio:Die 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 - novo libro
2005, ISBN: 3540252363
2005 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Theoretische Inf… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio:Versandkostenfrei 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) - Livro de bolso
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… mais…
no/na amazon.co.uk
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… mais…
no/na amazon.co.uk
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… mais…
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - novo libro
2005, ISBN: 3540252363
2005 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Theoretische Inf… mais…
no/na Biblio.co.uk
2005, ISBN: 9783540252368
Springer, 2005. 1st. Paperback. New/New., Springer, 2005, 6
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2005
Editor/Editora: Baader, Franz, Springer Berlin Heidelberg
580 Páginas
Peso: 0,971 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-06-05T11:44:04+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-03-07T09:38:22+00:00 (Lisbon)
Número ISBN/EAN: 9783540252368
Número ISBN - Ortografia alternativa:
3-540-25236-3, 978-3-540-25236-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: baader franz, voronkov, baade
Título do livro: logic for computer science, uruguay, montevideo, logic programming artificial intelligence reasoning, logics for artificial intelligence, reason art, lecture notes artificial intelligence
Dados da editora
Autor: Franz Baader; Andrei Voronkov
Título: 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
Editora: Springer; Springer Berlin
560 Páginas
Ano de publicação: 2005-03-07
Berlin; Heidelberg; DE
Língua: Inglês
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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...