Zoekresultaten
Resultaat 861 - 880 (van 1047)
A. Visser Preliminary notes on interpretability logic
Non-fictie
Engels | 37 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Frans Voorbraak Tensed intuitionistic logic
Non-fictie
Engels | 47 pagina's | University of Utrecht, Department of Philosophy, Utrecht | 1986
Gedrukt boek
C.P.J. Koymans | J.C. Mulder A modular approach to protocol verification using process algebra
Non-fictie
Engels | 54 pagina's | University of Utrecht, Utrecht | 1986
Gedrukt boek
Henk Jonkers | C.P.J. Koymans | Gerard R. Renardel de Lavalette A semantic framework for the COLD-family of languages
Non-fictie
Engels | 58 pagina's | University of Utrecht, Utrecht | 1986
Gedrukt boek
Probabilistic logics and probabilistic networks
Non-fictie
Engels | 155 pagina's | Springer, Dordrecht [etc.] | 2011
Gedrukt boek
Wettelijke Onderzoekstaken Natuur & Milieu A disposition of interpolation techniques
Non-fictie
Engels | 86 pagina's | Wettelijke Onderzoekstaken Natuur & Milieu, Wageningen | 2010
Gedrukt boek
Johan van Benthem Decisions, actions, and games
a logical perspective
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2009
Gedrukt boek
Johan van Benthem The great art of modeling
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2009
Gedrukt boek
Cédric Dégremont | Nina Gierasimczuk Can doxastic agents learn?
on the temporal structure of learning
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2009
Gedrukt boek
Jialong Zhang | Fenrong Liu Some thoughts on Mohist logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Joop Leo A quest for canonical positional models
Non-fictie
Engels | 12 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
Gedrukt boek
Johan van Benthem Guards, bounds and generalized semantics
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Joop Leo Modeling relations
Non-fictie
Engels | 103 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
Theo M.V. Janssen | Francien Dechesne Signalling in IF games: a tricky business
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Dmitry Sustretov Hybrid definability in topological spaces
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Francien Dechesne Game, set, maths: formal investigations into logic with imperfect information
Non-fictie
Engels | 165 pagina's | 2005
Gedrukt boek
Nijmeegs Instituut voor Informatica en Informatiekunde Dutch proof tools day 2004
program+ proceedings
Non-fictie
Engels | 81 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2004
Gedrukt boek
D.J.N. van Eijck Normal forms for characteristic functions on n-ary relations
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
Dominique Perrin | J.E. Pin Infinite words
automata, semigroups, logic and games
Non-fictie
Engels | 538 pagina's | Elsevier Academic Press, Amsterdam [etc.] | 2004
Gedrukt boek
M. Niqui Formalising exact arithmetic: representations, algorithms and proofs
Non-fictie
Engels | 195 pagina's | 2004
Gedrukt boek