Higher order logic theorem proving and its applications

Bibliografiska uppgifter
Övriga upphovsmän: Claesen, Luc J M (Utgivare, redaktör, sammanställare)
Materialtyp: Printed Book
Publicerad: North-Holland Publishing Co., Amsterdam 1993
Ämnen:
Computer programming

Liknande verk