BookSense

Mark Aagaard

Libros de Mark Aagaard

  1. 1Theorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics2007

Si te gusta Mark Aagaard