Types for Proofs and Programs Mario Coppo
74,89 €
Titel: Types for Proofs and Programs, Untertitel: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers, Einband: Taschenbuch, Autor: Mario Coppo, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 312, Maße: 235x155x17 mm, Gewicht: 476 g, Verkäufer: buch-mimpf, Schlagworte: Begründung / Beweis Beweis EDV / Theorie / Informatik / Allgemeines Logik Philosophie / Logik Automatisches Schließen Beweisprüfung Beweistheorie Coq Monoid Proof Checking Typensysteme Typentheorie algorithm algorithms logic proof theory type systems type theory verification.
Jetzt bei Ebay:
