- 5 Ergebnisse
Kleinster Preis: € 50,71, größter Preis: € 57,23, Mittelwert: € 53,81
1
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 57,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514) - Taschenbuch

2009, ISBN: 9783540000105

Series Editor: Voronkov, Andrei, Springer, Taschenbuch, Auflage: 2002, 484 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 3.28 kg, Informati… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
2
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 50,71
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514) - Taschenbuch

2009, ISBN: 9783540000105

Series Editor: Voronkov, Andrei, Springer, Taschenbuch, Auflage: 2002, 484 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 3.28 kg, Informati… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Voronkov, Andrei (Herausgeber); Baaz, Matthias (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 54,15
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Voronkov, Andrei (Herausgeber); Baaz, Matthias (Herausgeber):
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - neues Buch

2002

ISBN: 3540000100

2002 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Schluss (logisch), Informatik, Theoretische Informatik, Künstlic… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Logic for Programming Artificial Intelligence and Reasoning
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic for Programming Artificial Intelligence and Reasoning - Taschenbuch

2002, ISBN: 9783540000105

*Logic for Programming Artificial Intelligence and Reasoning* - 9th International Conference LPAR 2002 Tbilisi Georgia October 14-18 2002 Proceedings. Auflage 2002 / Taschenbuch für 53.49… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Logic for Programming, Artificial Intelligence, and Reasoning - Matthias Baaz; Andrei Voronkov
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Matthias Baaz; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Erstausgabe

2002, ISBN: 9783540000105

Taschenbuch

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2002

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic for Programming Artificial Intelligence and Reasoning
Autor:
Titel:
ISBN-Nummer:

9783540000105


This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

Detailangaben zum Buch - Logic for Programming Artificial Intelligence and Reasoning


EAN (ISBN-13): 9783540000105
ISBN (ISBN-10): 3540000100
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
484 Seiten
Gewicht: 0,725 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-05T21:18:19+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-20T22:54:20+01:00 (Berlin)
ISBN/EAN: 9783540000105

ISBN - alternative Schreibweisen:
3-540-00010-0, 978-3-540-00010-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov, beloch, matt, gramlich, vermeulen, king, maria, matthias, wendling
Titel des Buches: logic programming artificial intelligence reasoning, logics for artificial intelligence, griechische geschichte, reason art, proceedings artificial intelligence conference, tbilisi georgia, programm, computer, medizin, 2002

Daten vom Verlag:

Autor/in: Matthias Baaz; Andrei Voronkov
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Verlag: Springer; Springer Berlin
470 Seiten
Erscheinungsjahr: 2002-10-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 470 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Artificial intelligence; Isabelle; Resolution; formal verification; intelligence; logic; programming; verification; Theory of Computation; Software Engineering; Artificial Intelligence; Computer Science; Computer Science Logic and Foundations of Programming; Software Engineering; Künstliche Intelligenz; Informatik; EA

Improving On-Demand Strategy Annotations.- First-Order Logic as a Constraint Programming Language.- Maintenance of Formal Software Developments by Stratified Verification.- A Note on Universal Measures for Weak Implicit Computational Complexity.- Extending Compositional Message Sequence Graphs.- Searching for Invariants Using Temporal Resolution.- Proof Planning for Feature Interactions: A Preliminary Report.- An Extension of BDICTL with Functional Dependencies and Components.- Binding Logic: Proofs and Models.- Directed Automated Theorem Proving.- A Framework for Splitting BDI Agents.- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.- Using BDDs with Combinations of Theories.- On Expressive Description Logics with Composition of Roles in Number Restrictions.- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.- A Non-commutative Extension of MELL.- Procedural Semantics for Fuzzy Disjunctive Programs.- Pushdown Specifications.- Theorem Proving with Sequence Variables and Flexible Arity Symbols.- Games, Probability, and the Quantitative ?-Calculus qM?.- Parallelism and Tree Regular Constraints.- Gödel Logics and Cantor-Bendixon Analysis.- A Semantics for Proof Plans with Applications to Interactive Proof Planning.- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.- Proof Development with ?MEGA: ?2 Is Irrational.- A Local System for Linear Logic.- Investigating Type-Certifying Compilation with Isabelle.- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.- Fuzzy Prolog: A Simple General Implementation Using (R).
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387580258 Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 : Proceedings (Roy Dyckhoff, Scotland) Elp 9 (1993 University of St. Andrews, Roy Dyckhoff)

< zum Archiv...