Higher order logic theorem proving and its applications

Détails bibliographiques
Autres auteurs: Claesen, Luc J M (Éditeur intellectuel)
Format: Printed Book
Publié: North-Holland Publishing Co., Amsterdam 1993
Sujets:
Computer programming

Documents similaires