Liknande böcker

Foundations of software technology and theoretical computer science
Bok av P S Thiagarajan
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen
Computer science logic
Bok av Egon Borger
Computer Science Logic : 11th International Workshop, CSL'97, Annual Con...
Bok av Mogens Nielsen
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Parametric Lambda Calculus
Bok av Luca Paolini och Simona Ronchi Della Rocca
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Categories and computer science
Bok av Richard F. C. Walters

Theorem proving in higher order logics

Visa pris inkl. frakt Inkl. frakt
Adlibris
818 kr fri frakt
Finns i lager
Till butik
Theorem Proving in Higher Order Logics
818 kr
Finns i lager
Listan innehåller betalda länkar
Vilka butiker visas?