Higher order logic theorem proving and its applications

Bibliographische Detailangaben
Weitere Verfasser: Claesen, Luc J M (HerausgeberIn)
Format: Printed Book
Veröffentlicht: North-Holland Publishing Co., Amsterdam 1993
Schlagworte:
Computer programming

Ähnliche Einträge