Zoekresultaten
Resultaat 1 - 20 (van 34)
Hans Hellendoorn | Nico Roos Redeneren met onvolledige en onzekere kennis
Non-fictie
Nederlands | 28 pagina's | NLR, Amsterdam | 1989
Gedrukt boek
Sasaki Chikara Descartes's mathematical thought
Non-fictie
Engels | 496 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
Johan van Benthem Language in action
Non-fictie
Engels | 29 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1989
Gedrukt boek
Johan van Benthem Modal logic as a theory of information
Non-fictie
Engels | 30 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1989
Gedrukt boek
Dick de Jongh | A. Visser Explicit fixed points for interpretability logic
Non-fictie
Engels | 9 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
J.-J.Ch. Meyer An analysis of the Yale shooting problem by means of dynamic epistemic logic
Non-fictie
Engels | 10 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Dirk Roorda Elementary inductive definitions in HA
from strictly positive towards monotone
Non-fictie
Engels | 10 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
Dirk Roorda Investigations into classical linear logic
Non-fictie
Engels | 19 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
P.M.W. Knijnenburg | Jan van Leeuwen On models for propositional dynamic logic
Non-fictie
Engels | 23 pagina's | Department of Computer Science, University of Utrecht, Utrecht | 1989
Gedrukt boek
A.J. van der Schaft Model reduction of weakly damped mechanical systems
Non-fictie
Engels | University of Twente, Enschede | 1989
Gedrukt boek
Roel de Vrijer Extending the lambda calculus with surjective pairing is conservative
Non-fictie
Engels | 12 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
W. van der Hoek Systems for knowledge and beliefs
Non-fictie
Engels | 34 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Nico Roos How to reason with uncertain knowledge
Non-fictie
Engels | 18 pagina's | Delft University of Technology, Delft | 1989
Gedrukt boek
Nico Roos Preference logic: a logic for reasoning with inconsistent knowledge
Non-fictie
Engels | 31 pagina's | Delft University of Technology, Delft | 1989
Gedrukt boek
Gerard R. Renardel de Lavalette Choice in applicative theories
Non-fictie
Engels | 19 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek
Jeroen Groenendijk | Martin Stokhof Dynamic predicate logic
towards a compositional, non-representational semantics of discourse
Non-fictie
Engels | 54 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1989
Gedrukt boek
P.M.W. Knijnenburg On randomizing decision problems
a survey of the theory of randomized NP
Non-fictie
Engels | 27 pagina's | Department of Computer Science, University of Utrecht, Utrecht | 1989
Gedrukt boek
Dick de Jongh | Marc Jumelet | Franco Montagna On the proof of Solovay's theorem
Non-fictie
Engels | 20 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
Gerard Vreeswijk An introspective machine
Non-fictie
Engels | 71 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
A. Visser On the →S01⇋-conservativity of →S01⇋-completeness
Non-fictie
Engels | 9 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek