Exemplaires: Types for proofs and programs :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	TYPES :Kloster Irsee, Allemagne
Autres auteurs:	Altenkirch, Thorsten, 1962- (Directeur de la publication), Naraschewski, Wolfgang, 1970- (Directeur de la publication), Reus, Bernhard, 1965- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1657
Sujets:	Informatique Langages de programmation Ordinateurs Intelligence artificielle Théorie des types Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	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 '98, Kloster Irsee, Germany, March 27-31, 1998, selected papers, Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.), 1999, New York, Springer, 1 vol. (VIII-207 p.), Lecture notes in computer science, 3-540-66537-4 • Types for Proofs and Programs, Texte imprimé, 9783662163665