Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch category was refereed by at least three reviewers who were selected by t...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	International conference on theorem proving in higher order logics :Portland, Or.
Andre forfattere:	Harrison, John, 1948-...., cinéaste (Directeur de la publication), Aagaard, Mark, 1966- (Directeur de la publication), Harrison, John, 1966- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1869
Fag:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	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, 13th international conference, TPHOLs 2000, Portland, OR, USA, August, 2000, proceedings, Mark Aagaard, John Harrison (eds.), New York, Springer, 2000, 1 vol. (IX-533 p.), Lecture notes in computer science, 3-540-67863-8 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662173329