Normal view
MARC view
Théorèmes Démonstration automatique Congrès (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): TPHOLs (11th : 1998 : Canberra, A.C.T.) 14917, Theorem proving in higher order logics :, ©1998.