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

Logic Programming and Automated Reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22. 1994. Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.06.1994

Herausgeber

Frank Pfenning

Verlag

Springer Berlin

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

552 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58216-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.06.1994

Herausgeber

Frank Pfenning

Verlag

Springer Berlin

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

552 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58216-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Logic Programming and Automated Reasoning
  • Produktbild: Logic Programming and Automated Reasoning
  • Generalization and reuse of tactic proofs.- Program tactics and logic tactics.- On the relation between the ??-calculus and the syntactic theory of sequential control.- On a proof-theoretical analysis of ? 1 1 -AC, ? 1 1 -DC and ? 1 1 -CA.- Proof plans for the correction of false conjectures.- On the value of antiprenexing.- Implementing a finite-domain CLP-language on top of Prolog: a transformational approach.- RISC-CLP(CF) constraint logic programming over complex functions.- Logical closures.- Higher-order rigid E-unification.- Program extraction in a Logical Framework setting.- Higher-Order Abstract Syntax with induction in Coq.- Towards efficient calculi for resource-oriented deductive planning.- A logic programming framework for the abductive inference of intentions in cooperative dialogues.- Constraint logic programming in the sequent calculus.- On conditional rewrite systems with extra variables and deterministic logic programs.- A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs.- An efficient computation of the extended generalized closed world assumption by support-for-negation sets.- Multi-SLD resolution.- On anti-links.- A generic declarative diagnoser for normal logic programs.- Goal dependent vs. goal independent analysis of logic programs.- A kind of achievement by parts method.- Projection in temporal logic programming.