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
Visa pris inkl. frakt Inkl. frakt
Adlibris
847 kr fri frakt
Finns i lager
Till butik
Theorem Proving in Higher Order Logics
847 kr
Finns i lager
Listan innehåller betalda länkar
Vilka butiker visas?