Stefan Berghofer
Stefan Berghofer has written at least 1 book. Their most popular book is Theorem Proving in Higher Order Logics with 0 saves with an average rating of -⭐.
Stefan Berghofer has written at least 1 book. Their most popular book is Theorem Proving in Higher Order Logics with 0 saves with an average rating of -⭐.
2009 • 527 pages