Books Authors Genres Best of

Mark Aagaard

Mark Aagaard

1 books in the database

Books

Theorem Proving in Higher Order LogicsMark Aagaard

Theorem Proving in Higher Order Logics

Mark Aagaard · 2007

booktheque.comAs an Amazon Associate we earn from qualifying purchases.Covers: Open LibraryAbout Contact Privacy policy Terms of use