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 :

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

Wright, Joakim von (1955-....) (Directeur de publication / publishing director)

Grundy, Jim (1968-....) (Directeur de publication / publishing director)

Harrison, John (1966-....) (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