Author

Konrad Slind

2 books found

Cover of Notes on Computation Theory

Notes on Computation Theory

Konrad Slind · First published 2014

Cover of Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan · First published 2004