Theorem proving in higher order logics

Loading edition detail...

Preparing this view.

Theorem proving in higher order logics

TPHOLs 2002 (15th 2002 Hampton, Va.)

Bookitis Pick

Theorem proving in higher order logicsTPHOLs 2002 (15th 2002 Hampton, Va.)

TPHOLs 2002 (15th 2002 Hampton, Va.)Published 2002

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	347
Search language	english
ISBN_10	3-540-44039-9 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.