The Computer Modelling Of Mathematical Reasoning

Библиографические подробности
Главный автор: Bundy,Alan
Формат: Printed Book
Язык:English
Опубликовано: [s.l: Academic Press,INC., 1983.
Редактирование:1983.
Предметы:
Statistics,Mathematical Logic,Negation.

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