Higher order logic theorem proving and its applications

Podrobná bibliografie
Další autoři: Claesen, Luc J M (Editor)
Médium: Printed Book
Vydáno: North-Holland Publishing Co., Amsterdam 1993
Témata:
Computer programming

Podobné jednotky