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