Zoekresultaten
Resultaat 1 - 11 (van 11)
Frans Voorbraak Tensed intuitionistic logic
Non-fictie
Engels | 47 pagina's | University of Utrecht, Department of Philosophy, Utrecht | 1986
Gedrukt boek
Frans Voorbraak Redeneren met onzekerheid in expertsystemen
Non-fictie
Nederlands | 39 pagina's | Faculteit der Wijsbegeerte, Rijksuniversiteit, Utrecht | 1987
Gedrukt boek
Frans Voorbraak As far as I know
epistemic logic and uncertainty
Non-fictie
Engels | 219 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1993
Gedrukt boek
Frans Voorbraak A nonmonotonic observation logic
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Frans Voorbraak Combining unreliable pieces of evidence
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Frans Voorbraak A preferential model semantics for default logic
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Frans Voorbraak A computationally efficient approximation of dempster-shafer theory
Non-fictie
Engels | 14 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Frans Voorbraak On the justification of Dempster's rule of commbination
Non-fictie
Engels | 30 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Frans Voorbraak The logic of actual obligation
an alternative approach to deontic logic
Non-fictie
Engels | 24 pagina's | University of Utrecht, Utrecht | 1987
Gedrukt boek
Frans Voorbraak A simplification of the completeness proofs for Guaspari and Solovay's R
Non-fictie
Engels | RUU, Vakgroep Logica, Utrecht | 1986
Gedrukt boek
Frans Voorbraak Generalized Kripke models for epistemic logic
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek