Search

Select Field:

Select Index:

Search Terms:

International conference on theorem proving in higher order logics

TPHOLs '96

TPHOLs (Conférence)

VIAF ID: 440146998514418941960 (Corporate)

Permalink: http://viaf.org/viaf/440146998514418941960

Preferred Forms

110 2 _ ‎‡a International Conference on Theorem Proving in Higher Order Logics‏
210 | | ‎‡a International conference on theorem proving in higher order logics‏
111 2 _ ‎‡a TPHOLs '96‏
111 2 _ ‎‡a TPHOLs (Conférence)‏

4xx's: Alternate Name Forms (8)

5xx's: Related Names (1)

511 2 _ ‎‡a International Workshop on Higher Order Logic Theorem Proving and its Applications‏

Works

Title	Sources
Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings

Selected Co-authors

Publication Statistics

Selected Publishers (1)

About

Record Views

History of VIAF ID:440146998514418941960 (5)

© 2010-2024 OCLC
Privacy policy
Cookie Notice

Hosted by OCLC

About the dataset