Browse
FAQ

Author

Annette Bunker

1 book found

Cover of Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

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