Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic Programming and Automated Reasoning
  • Produktbild: Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999. Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.08.1999

Herausgeber

Harald Ganzinger + weitere

Verlag

Springer Berlin

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

628 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66492-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.08.1999

Herausgeber

Verlag

Springer Berlin

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

628 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66492-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logic Programming and Automated Reasoning
  • Produktbild: Logic Programming and Automated Reasoning
  • Session 1.- Proofs About Lists Using Ellipsis.- Session 2.- On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System.- Solving Combinatorial Problems with Regular Local Search Algorithms.- Evidence Algorithm and Sequent Logical Inference Search.- Session 3.- First Order Linear Temporal Logic over Finite Time Structures.- Model Checking Games for the Alternation-Free ?-Calculus and Alternating Automata.- Animating TLA Specifications.- Session 4.- Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems.- Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups.- Regular Sets of Descendants for Constructor-Based Rewrite Systems.- Session 5.- Practical Reasoning for Expressive Description Logics.- Complexity of Terminological Reasoning Revisited.- Session 6.- On the Complexity of Single-Rule Datalog Queries.- Session 7.- Abstracting Properties in Concurrent Constraint Programming.- A Fixpoint Semantics for Reasoning about Finite Failure.- Extensions to the Estimation Calculus.- Session 8.- Beth Definability for the Guarded Fragment.- Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas.- Session 9.- Resource Management in Linear Logic Proof Search Revisited.- Focusing and Proof-Nets in Linear and Non-commutative Logic.- Session 10.- CHAT Is ? (SLG-WAM).- Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.- A Partial Evaluation Framework for Curry Programs.