Complexity, Logic, and Recursion Theory Andrea Sorbi: другие книги

New Computational Paradigms

2007

Computation and Logic in the Real World

2007