Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 15.06.2026 bis 17.06.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Maximaler rabattfähiger Warenkorbwert 500 € | Nicht kombinierbar mit weiteren Aktionen | Nur einmal pro Person einlösbar | Nur solange der Vorrat reicht

  • Produktbild: Logical Frameworks
  • Produktbild: Logical Frameworks

Logical Frameworks

132,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

26.01.2011

Herausgeber

Huet Gerard + weitere

Verlag

Cambridge Academic

Seitenzahl

416

Maße (L/B/H)

23,5/15,7/2,9 cm

Gewicht

780 g

Sprache

Englisch

ISBN

978-0-521-41300-8

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

26.01.2011

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

416

Maße (L/B/H)

23,5/15,7/2,9 cm

Gewicht

780 g

Sprache

Englisch

ISBN

978-0-521-41300-8

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: Logical Frameworks
  • Produktbild: Logical Frameworks
  • 1. The logical theory of constructions P. Aczel and D. Carlisle; 2. The Boyer-Moore theorem prover and Nuprl: an experimental comparison D. Basin and M. Kaufmann; 3. Girard normalisation proof in LEGO S. Beradi; 4. A plea for weaker frameworks N. de Bruijn; 5. Deliverables: an approach to program development in the Calculus of Constructions R. Burstall and J. McKinna; 6. Finding computational content in classical proofs R. Constable and C. Murthy; 7. An algorithm for testing conversion in type theory T. Coquand; 8. A proof synthesis algorithm for testing conversion in type theory G. Dowek; 9. Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics P. Dybjer; 10. Encoding a dependent-type lambda-calculus in a logic A. Felty and D. Miller; 11. Nederpelt's calculus extended with a notion of context as a logical framework P. de Groote; 12. Models of partial induction L. Hallnäs; 13. Goal-directed proof construction in type theory L. Helmink; 14. Elf: a language for logic definition and verified meta-programming E. Pfenning; 15. Investigations into proof-search in a system of first-order dependent function types D. Pym and L. Wallen; 16. The role of elimination inferences in a structural framework P. Schroeder-Heister.