Liknande böcker

Theorem Proving in Higher Order Logics
Bok
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen
Computer science logic
Bok av Egon Borger
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Theorem Proving in Higher Order Logics : 13th International Conference,...
Bok av Mark Aagaard
Theorem Proving in Higher Order Logics
Bok av Jim Grundy
Computer science logic : 13th international workshop CSL'99

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs' 99 Nice, France, September 1417, 1999 Proceedings

Bok av André Hirschowitz