Higher order logic theorem proving and its applications

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

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