Zoekresultaten
Resultaat 1 - 20 (van 50)
Nataša Rakić Common sense time and special relativity
Non-fictie
Engels | 140 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1997
Gedrukt boek
J. Scheerder | R.J. Wieringa A modal temporal dynamic logic doing the deadline
Non-fictie
Engels | 30 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
Dutch Graduate School in Logic Proceedings Accolade{96
Non-fictie
Engels | 150 pagina's | Dutch Graduate School in Logic, Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Advances in intensional logic
Non-fictie
Engels | 291 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1997
Gedrukt boek
Dick de Jongh | Giorgi Japaridze The logic of provability
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Gerard R. Renardel de Lavalette How to change your world
a variant of quantified dynamic logic
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1997
Gedrukt boek
P.H.J. van Eijck Verifying relay circuits using state machines
Non-fictie
Engels | 13 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
J.P. Warners | Hans van Maaren Satisfiability problems with balanced polynomial representation
Non-fictie
Engels | 15 pagina's | Delft University of Technology, Delft | 1997
Gedrukt boek
J. Broersen | R.J. Wieringa Minimal semantics for action specifications in first-order dynamic logic
Non-fictie
Engels | 24 pagina's | Vrije Universiteit, Amsterdam | 1997
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
Giovanna D'Agostino The Łoś-Tarski and Lyndon theorem for the →m⇋-logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Joeri Engelfriet | Yde Venema A modal logic of information change
Non-fictie
Engels | 29 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
A. Visser Prolegomena to the definition of dynamic predicate logic with local assignments
Non-fictie
Engels | 36 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1997
Gedrukt boek
A. Visser An overview of interpretability logic
Non-fictie
Engels | 53 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
Robert Babuška Fuzzy modeling and identification
Non-fictie
Engels | 294 pagina's | 1997
Gedrukt boek
Jean Goubault-Larrecq | Ian Mackie Proof theory and automated deduction
Non-fictie
Engels | 424 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1997
Gedrukt boek
M.C.A. Devillers | D. Griffioen A formalization of finite and infinite sequences in PVS
Non-fictie
Engels | 27 pagina's | Katholieke Universiteit Nijmegen, Computing Science Institute, Faculty of Mathematics and Informatics, Nijmegen | 1997
Gedrukt boek
C.J. Bouwkamp On Benjamin's pentomino cube
Non-fictie
Engels | 21 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
Johan van Benthem The range of modal logic: an essay in memory of George Gargov
Non-fictie
Engels | 37 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Johan van Benthem Modality, bisimulation and interpolation in infinitary logic
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek