Popis: Types for proofs and programs :

Uloženo v:

Podrobná bibliografie
Korporativní autor:	TYPES :Lökeberg, Suède
Další autoři:	Dybjer, Peter, 19..- (Šéfredaktor, odpovědný redaktor), Nordström, Bengt, 19..- (Šéfredaktor, odpovědný redaktor), Coquand, Thierry, 1961-...., chercheur en mathématiques-informatique (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 1956
Témata:	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
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	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, third international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999, selected papers, Thierry Coquand ... [et al.], (Eds.), 2000, New York, Springer, 1 vol. (193 p.), Lecture notes in computer science, 3-540-41517-3 • Types for Proofs and Programs, Texte imprimé, 9783662201015

Popis
Popis jednotky:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540445579 (PDF)
ISSN:	1611-3349
Přístup:	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