Logic and Machines: Decision Problems and Complexity
Год
1984
Страниц
462
ISBN
ISBN10:3540133313
Издатель
Springer
Описание: