Computer Programming and Formal Systems

Библиографические подробности
Главный автор: Braffort P. and Hirschberg D.
Формат: Printed Book
Язык:English
Опубликовано: London: North-Holland Publishing Company, 1970.
Редактирование:1970.
Предметы:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

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