Gems of theoretical computer science

Библиографические подробности
Главный автор:	Schoning, Uwe 1955-
Другие авторы:	Pruim, Randall J.
Формат:	‌
Язык:	English
Опубликовано:	Berlin Springer c1998.
Предметы:	Automatic theorem proving.