Types for Proofs and Programs Christine Paulin-Mohring
85,59 €
Titel: Types for Proofs and Programs, Untertitel: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers, Einband: Taschenbuch, Autor: Christine Paulin-Mohring, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 388, Maße: 235x155x21 mm, Gewicht: 587 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Programmiersprachen Coq Isabelle Program Verification algorithm algorithms proof systems proving theorem proving type systems type theory verification.
Jetzt bei Ebay:
