Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

по Andrei Voronkov
4/5
Впервые опубликовано
Aug 25, 2011
Издатели
Springer

Книги

Похожие книги