Descripció: Types for proofs and programs :

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	TYPES :Kloster Irsee, Allemagne
Altres autors:	Altenkirch, Thorsten, 1962- (Director editorial), Naraschewski, Wolfgang, 1970- (Director editorial), Reus, Bernhard, 1965- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1657
Matèries:	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 línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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

Descripció
Descripció de l’ítem:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540481676 (PDF)
ISSN:	1611-3349
Accés:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017