Liknande böcker

Computer science logic
Bok av Egon Borger
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Theorem Proving in Higher Order Logics : 13th International Conference,...
Bok av Mark Aagaard
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen
What is a logical system?
Bok av Dov M. (EDT) Gabbay
Automata and Computability
Bok av Dexter C Kozen
Computer science logic : 13th international workshop CSL'99
Theorem proving in higher order logics

Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 : selected papers