Zoekresultaten
Resultaat 981 - 1000 (van 1047)
A. Ponse | Fer-Jan de Vries Strong completeness for Hoare logics of recursive processes: an infinitary approach
Non-fictie
Engels | 36 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
V. Manca | Antonino Salibra | Giuseppe Scollo Equational type logic
Non-fictie
Engels | 36 pagina's | Universiteit Twente, Faculteit der informatica, Enschede | 1989
Gedrukt boek
Intensional mathematics
Non-fictie
Engels | 230 pagina's | North-Holland, Amsterdam, New York | 1985
Gedrukt boek
Bernd Steinbach | Christian Posthoff Logic functions and equations
examples and exercises
Non-fictie
Engels | 231 pagina's | Springer, [Dordrecht] | 2009
Gedrukt boek
Centre for Telematics and Information Technology LicenseScript
a logical language for digital rights management
Non-fictie
Engels | 37 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Neil G. Jacobson The in-system configuration handbook
a designer's guide to ISC
Non-fictie
Engels | 201 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2004
Gedrukt boek
L.D. Beklemishev Veblen hierarchy in the context of provability algebras
Non-fictie
Engels | 15 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
Centrum voor Wiskunde en Informatica Generalizing DPLL and satisfiability for equalities
Non-fictie
Engels | 28 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
Wojciech Jamroga Using multiple models of reality
on agents who know how to play safer
Non-fictie
Engels | 233 pagina's | Taaluitgeverij Neslia Paniculata, Enschede | 2004
Gedrukt boek
Jan Salamucha Knowledge and faith
Non-fictie
Engels | 419 pagina's | Rodopi, Amsterdam [etc.] | 2003
Gedrukt boek
Robert Goldblatt | Ian Hodkinson | Yde Venema Erds graphs resolve Fine's canonicity problem
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Richard Cornelis Antonius Moot Proof nets for linguistic analysis
Non-fictie
Engels | 252 pagina's | 2002
Gedrukt boek
Yde Venema Atomless varieties
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
C.M. Jonker | Jan Treur Analysis of the dynamics of reasoning using multiple representations
Non-fictie
Engels | 12 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Handbook of automated reasoning
Non-fictie
Engels | 2122 pagina's | Elsevier, Amsterdam [etc.] | 2001
Gedrukt boek
L.D. Beklemishev Provability algebras and proof-theoretic ordinals, I
Non-fictie
Engels | 21 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2001
Gedrukt boek
J.C. van de Pol Just-in-time: on strategy annotations
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
B.P.F. Jacobs Many-sorted coalgebraic modal logic: a model-theoretic study
Non-fictie
Engels | 26 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek