1 2
1 2
|
Sergei Artemov Applications of Logic to Computer Science
|
 |
|
Melving Fitting Applications of Logic to Computer Science
|
 |
|
Janos Pach Discrete and Computational Geometry, Combinatorics
|
 |
|
Victor Pan Algebraic and Numerical Computation
|
 |
|
Rohit Parikh Applications of Logic to Computer Science
|
 |
|
Stathis Zachos Computational Complexity
|
 |
