Zoekresultaten
Resultaat 241 - 260 (van 1101)
Joost J. Joosten | A. Visser The interpretability logic of all reasonable arithmetical theories
the new conjecture
Non-fictie
Engels | 25 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1999
Gedrukt boek
Maarten Marx Tolerance logic
Non-fictie
Engels | 23 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Giovanna D'Agostino | A. Visser Finality regained
a coalgebraic study of Scott-sets and multisets
Non-fictie
Engels | 36 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.A. Bergstra | Marijke Loots Platform projections, compilers, interpreters and portability
Non-fictie
Engels | 22 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek | B. van Linder A logical approach to the dynamics of commitments
Non-fictie
Engels | 37 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer Dynamic logic for reasoning about actions and agents
Non-fictie
Engels | 30 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Paul Harrenstein From a modal point of view: a logical investigation into modalities De Dicto and De Re
Non-fictie
Engels | 111 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
C.J. Bouwkamp Tiling the surface of a cube by 12 identical pentominoes
Non-fictie
Engels | 164 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1998
Gedrukt boek
Marc Bezem | D. Hendriks Clausification in Coq
Non-fictie
Engels | 12 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek
Johan van Benthem Temporal patterns and modal structure
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Johan van Benthem Dynamic odds & ends
Non-fictie
Engels | 80 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Dick de Jongh | Paul van Ulsen Beth's nonclassical valuations
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Manual of the TYPO type checker
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Decoding the E+-Class by an A Posteriori, liftable order
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Resolution decided the guarded fragment
Non-fictie
Engels | 39 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Petr Hájek Metamathematics of fuzzy logic
Non-fictie
Engels | 297 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1998
Gedrukt boek
Dutch Graduate School in Logic Proceedings Accolade{97
Non-fictie
Engels | 96 pagina's | Dutch Graduate School in Logic, Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Jaakko Hintikka Language, truth and logic in mathematics
Non-fictie
Engels | 247 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1998
Gedrukt boek
Victor N. Krivtsov A negationless interpretation of intuitionistic axiomatic theories: arithmetic and analysis
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Victor N. Krivtsov A negationless interpretation of intuitionistic axiomatic theories: higher-order arithmetic
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek