- 5 Risultati
prezzo più basso: € 39,85, prezzo più alto: € 111,22, prezzo medio: € 76,14
1
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)
Ordina
da amazon.de
€ 82,66
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato

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) - edizione con copertina flessibile

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… Altro …

IN - IndiaCosti di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
Chiudere (X)
2
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
Ordina
da amazon.co.uk
£ 65,83
(indicativi € 77,00)
Spedizione: € 5,611
Ordina
Dettagli del offerente
Link sponsorizzato
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452) - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Usually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Smaller World Future
Chiudere (X)
3
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
Ordina
da amazon.co.uk
£ 59,81
(indicativi € 69,95)
Spedizione: € 5,611
Ordina
Dettagli del offerente
Link sponsorizzato
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452) - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
Chiudere (X)
4
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - Voronkov, Andrei (Herausgeber); Baader, Franz (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 111,22
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Voronkov, Andrei (Herausgeber); Baader, Franz (Herausgeber):
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - nuovo libro

2005, ISBN: 3540252363

2005 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Theoretische Inf… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
5
Ordina
da Biblio.co.uk
$ 42,00
(indicativi € 39,85)
Spedizione: € 9,491
Ordina
Dettagli del offerente
Link sponsorizzato
FRANZ BAADER , ANDREI VORONKOV ,:
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING - edizione con copertina flessibile

2005, ISBN: 9783540252368

Springer, 2005. 1st. Paperback. New/New., Springer, 2005, 6

IND - IndiaCosti di spedizione: EUR 9.49 DELHI BOOK STORE
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
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)
Autore:
Titolo:
ISBN:

3540252363


This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.

Informazioni dettagliate del libro - 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
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2005
Editore: Baader, Franz, Springer Berlin Heidelberg
580 Pagine
Peso: 0,971 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-06-05T12:44:04+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-07T10:38:22+01:00 (Zurich)
ISBN/EAN: 3540252363

ISBN - Stili di scrittura alternativi:
3-540-25236-3, 978-3-540-25236-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : baader franz, voronkov, baade
Titolo del libro: logic for computer science, uruguay, montevideo, logic programming artificial intelligence reasoning, logics for artificial intelligence, reason art, lecture notes artificial intelligence

Dati dell'editore

Autore: Franz Baader; Andrei Voronkov
Titolo: 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
Editore: Springer; Springer Berlin
560 Pagine
Anno di pubblicazione: 2005-03-07
Berlin; Heidelberg; DE
Lingua: Inglese
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
< Per archiviare...