Theorem proving in higher order logics

13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

Verfasser / Beitragende:
Mark Aagaard, John Harrison, (eds.)
Ort, Verlag, Jahr:
Berlin [etc.] : Springer, 2000
Beschreibung:
IX, 533 p. : ill. ; 24 cm
Format:
Buch (Kongress)
ID: 224372289