Higher order logic theorem proving and its applications

Библиографические подробности
Другие авторы: Claesen, Luc J M (Редактор)
Формат: Printed Book
Опубликовано: North-Holland Publishing Co., Amsterdam 1993
Предметы:
Computer programming

Схожие документы