Normal view MARC view

Informatique (Topical Term)

Preferred form: Informatique

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