Normal view MARC view

Automatic theorem proving (Topical Term)

Preferred form: Automatic theorem proving

Machine generated authority record.

Work cat.: (AT-ISTA): TPHOLs (11th : 1998 : Canberra, A.C.T.) 14917, Theorem proving in higher order logics :, ©1998.

Powered by Koha