Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers

Bibliographische Detailangaben

Hauptverfasser:	Filliatre, Jean-Christophe, Paulin-Mohring, Christine, Werner, Benjamin
Format:	Buch
Sprache:	eng
Schlagworte:	Automatic theorem proving Congresses
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!