Theorem proving in higher order logics - 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings

Författare
International Conference on Theorem Proving in Higher Order Logics 2001 : Edinburgh) (14 :
(Richard J. Boulton, Paul B. Jackson, (eds.).)
Genre
Konferenspublikation
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 2001 Tyskland, Berlin 393 sidor. ill.
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan