Higher order logic theorem proving and its applications

Bibliografski detalji
Daljnji autori: Claesen, Luc J M (Urednik)
Format: Printed Book
Izdano: North-Holland Publishing Co., Amsterdam 1993
Teme:
Computer programming

Similar Items