Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	TYPES 2003 :Torino, Italy
Weitere Verfasser:	Berardi, Stefano (Verlagsleitung), Coppo, Mario, 1947-...., informaticien (Verlagsleitung), Damiani, Ferruccio (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science 3085
Schlagworte:	Informatique Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Types for proofs and programs, international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, revised selected papers, Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.), Berlin, Springer, 2004, 1 vol. (X-408 p.), Lecture notes in computer science, 3-540-22164-6 • Types for Proofs and Programs, Texte imprimé, 9783662213650