Theorem proving in higher order logics : 9th International Conference, TPHOLs’96, Turku, Finland, August 26–30, 1996 : proceedings / [edited by] J. von Wright, J. Grundy, J. Harrison
Date : 20
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 978-3-540-70641-0
Génie logiciel
Informatique
Intelligence artificielle
Logique mathématique
Théorèmes -- Démonstration automatique
Structure logique
Classification Dewey : 004
Grundy, Jim (1968-....) (Directeur de publication / publishing director)
Collection : Lecture notes in computer science [Ressource électronique] / Berlin : Springer , [200.]-
Relation : Theorem proving in higher order logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison (eds.) / Berlin : Springer
Accès en ligne / online access
Accès en ligne / online access