Liknande böcker

Theorem Proving in Higher Order Logics
Bok av Jim Grundy
Theorem Proving in Higher Order Logics : 13th International Conference,...
Bok av Mark Aagaard
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Theorem Proving in Higher Order Logics: 12th International Conference, T...
Bok av André Hirschowitz
Automata and Computability
Bok av Dexter C Kozen
Formal Methods and Software Engineering : 4th International Conference o...
Bok av Chris George
Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi
Parametric Lambda Calculus
Bok av Luca Paolini och Simona Ronchi Della Rocca

Theorem Proving in Higher Order Logics

Bok