Higher order logic theorem proving and its applications

Bibliographic Details
Other Authors: Claesen, Luc J M (Editor)
Format: Printed Book
Published: North-Holland Publishing Co., Amsterdam 1993
Subjects:
Computer programming

Similar Items