Author books / Книги автора Grädel Erich,Gurevich Yuri,Börger Egon » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Grädel Erich,Gurevich Yuri,Börger Egon

book The classical decision problem

The classical decision problem

djvu

Author: Grädel Erich, Gurevich Yuri, Börger Egon
Language: English
Year: 1997

00

30.01.2024

0

0

book Logic and automata: History and perspectives

Logic and automata: History and perspectives

pdf

Author: Flum Jörg, Grädel Erich, Wilke Thomas (eds.)
Language: English
Year: 2008

00

30.01.2024

0

0