Zoekresultaten
Resultaat 21 - 40 (van 73)
Melvin Fitting Types, tableaus, and Gödel's God
Non-fictie
Engels | 180 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
Giovanna D'Agostino | Giacomo Lenzi On modal mu-calculus with explicit interpolants
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Ravi Rajani Generic structures
Non-fictie
Engels | 34 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Leslie Smith Reasoning by mathematical induction in children's arithmetic
Non-fictie
Engels | 170 pagina's | Pergamon, Amsterdam [etc.] | 2002
Gedrukt boek
Mai Gehrke | Hideo Nagahashi | Yde Venema A Sahlqvist theorem for distributive modal logic
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
D. Hendriks Proof reflection in Coq
Non-fictie
Engels | 27 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Martin Heidegger Was heisst Denken?
Duits | 271 pagina's | Vittorio Klostermann, Frankfurt am Main | 2002
Gedrukt boek
Baptist Vermeulen De uitdaging van het denken
Inleiding tot enkele centrale thema's binnen de westerse filosofie, met een bijbehorende website.
Non-fictie
Nederlands | 216 pagina's | Karakter, Uithoorn | 2002
Gedrukt boek
Toshihiro Wada The analytical method of Navya-Nyāya
Non-fictie
Engels | 220 pagina's | Forsten, Groningen | 2007
Gedrukt boek
Stanimir Mollov Fuzzy control of multi-input multi-output processes
Non-fictie
Engels | 229 pagina's | 2002
Gedrukt boek
Marco Aiello | Johan van Benthem A modal walk through space
Non-fictie
Engels | 41 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
A. Kurz | D. Pattinson Coalgebraic modal logic of finite rank
Non-fictie
Engels | 23 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Lieven Decock Trading ontology for ideology
the interplay of logic, set theory and semantics in Quine's philosophy
Non-fictie
Engels | 268 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
NATO Scientific Affairs Division Proof and system-reliability
Non-fictie
Engels | 415 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
A. Palmigiano A new coalgebraic semantics for positive modal logic
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Giulianella Coletti Probabilistic logic in a coherent setting
Non-fictie
Engels | 289 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
G. Bezhanishvili | Mai Gehrke A new proof of completeness of S4 with respect to the real line
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Carlos Areces | J.M. Heguiabehere HyLoRes: a hybrid logic prover based on direct resolution
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
W.J. Fokkink | J. Pang Cones and foci for protocol verification revisited
Non-fictie
Engels | 17 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Agent-based defeasible control in dynamic environments
Non-fictie
Engels | 479 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek