Aleari buruzko argibideak: Types for proofs and programs :

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	TYPES 2000 :Durham
Beste egile batzuk:	McKinna, James (Argitalpenaren zuzendaria), Luo, Zhaohui, informaticien (Argitalpenaren zuzendaria), Callaghan, Paul (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 2277
Gaiak:	Informatique Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	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 2000, Durham, UK, December 8-12, 2000, selected papers, Paul Callaghan ... [et al.], Berlin, Springer, 2002, 1 vol. (VIII-242 p.), Lecture notes in computer science, 3-540-43287-6 • Types for Proofs and Programs, Texte imprimé, 9783662194775