Загрузка...

QR Code (код быстрого отклика)

Automated deduction CADE 12

Библиографические подробности
Главный автор:	Alan Bundy
Формат:	Printed Book
Язык:	English
Опубликовано:	Springer-Verlag 1994

Описание
Объем:	848
ISBN:	3-540-58156-1