Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24 28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The...

पूर्ण विवरण

ग्रंथसूची विवरण

निगमित लेखक:	TYPES 2002 :Berg en Dal, NL
अन्य लेखक:	Geuvers, Herman (प्रकाशन निदेशक), Wiedijk, Freek (प्रकाशन निदेशक)
स्वरूप:	Livre numérique
भाषा:	Anglais
प्रकाशित:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
श्रृंखला:	Lecture notes in computer science 2646
विषय:	Informatique Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
ऑनलाइन पहुंच:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
टिप्पणी:	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 2002, Berg en Dal, the Netherlands, April 24-28, 2002, selected papers, Herman Geuvers, Freek Wiedijk (eds.), Berlin, Springer, 2003, 1 vol. (VIII-330 p.), Lecture notes in computer science, 3-540-14031-X • Types for Proofs and Programs, Texte imprimé, 9783662213414