Zoekresultaten
Resultaat 1 - 20 (van 55)
D. van Dalen Torens en fundamenten
Non-fictie
Nederlands | 16 pagina's | Zeno Institute for Philosophy, Utrecht | 1997
Gedrukt boek
Discrete wiskunde 2
Non-fictie
Nederlands | 192 pagina's | Open universiteit, Heerlen | 1997
Gedrukt boek
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
Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute Spoorweglogica via EURIS
Non-fictie
Nederlands | 241 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1997
Gedrukt boek
Advances in intensional logic
Non-fictie
Engels | 291 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 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
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
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
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. 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
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
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
Joeri Engelfriet | Yde Venema A modal logic of information change
Non-fictie
Engels | 29 pagina's | Vrije Universiteit, Amsterdam | 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
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
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
Robert Babuška Fuzzy modeling and identification
Non-fictie
Engels | 294 pagina's | 1997
Gedrukt boek
Ian Hodkinson | Szabolcs Mikulás Non-finitely axiomatizable, union-free reducts of algebras of relations
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek