Egzemplarz: Theorem proving in higher order logics :

Zapisane w:

Opis bibliograficzny
Korporacja:	International conference on theorem proving in higher order logics :Nice
Kolejni autorzy:	Bertot, Yves, 1964- (Dyrektor wydawnictwa), Hirschowitz, André, 1964-...., mathématicien (Dyrektor wydawnictwa), Dowek, Gilles, 1966-2025, informaticien et logicien (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science 1690
Hasła przedmiotowe:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theorem proving in higher order logics, 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999, proceedings, Yves Bertot ... [et al.], eds, 1999, Berlin, Springer, 1 vol. (VIII-358 p.), Lecture notes in computer science, 3-540-66463-7 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662183410