Types for Proofs and Programs Paul Callaghan
53,49 €
Titel: Types for Proofs and Programs, Untertitel: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers, Einband: Taschenbuch, Autor: Paul Callaghan, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 256, Maße: 235x155x15 mm, Gewicht: 394 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Programmiersprachen Formal Specification Natural data structures formal methods formal verification inductive types lambda calculus logic programming logics programming theory proof proof theory rewriting systems type systems type theory.
Jetzt bei Ebay:
