Zoekresultaten
Resultaat 1 - 20 (van 44)
Radim Bělohlávek Fuzzy relational systems
foundations and principles
Non-fictie
Engels | 369 pagina's | Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
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
Yvon Gauthier Internal logic
foundations of mathematics from Kronecker to Hilbert
Non-fictie
Engels | 237 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
Joost J. Joosten Two proofs of Parsons' theorem
Non-fictie
Engels | 23 pagina's | Zeno Institute of Philosophy, Utrecht | 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
Francesco Paoli Substructural logics: a primer
Non-fictie
Engels | 304 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
J.M. Niekus Individual choice sequences in the work of L.E.J. Brouwer
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
B. Badban | J.C. van de Pol Two solutions to incorporate zero, successor and equality in binary decision diagrams
Non-fictie
Engels | 26 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
D. Hendriks Proof reflection in Coq
Non-fictie
Engels | 27 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 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
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
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
Marco Aiello Spatial reasoning
theory and practice
Non-fictie
Engels | 195 pagina's | Institute for Logic, Language and Computation, 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
Stanimir Mollov Fuzzy control of multi-input multi-output processes
Non-fictie
Engels | 229 pagina's | 2002
Gedrukt boek
Agent-based defeasible control in dynamic environments
Non-fictie
Engels | 479 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
R. Bernardi Reasoning with polarity in categorial type logic
Non-fictie
Engels | 187 pagina's | 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