Total Books: 21 - 22 /22
The Professoriate
What does it mean to be an academic in the twenty first century? Clearly, there is no one answer to this question, as the ...
Lire la suite
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lire la suite
