Zoekresultaten
Resultaat 21 - 40 (van 57)
Giulianella Coletti Probabilistic logic in a coherent setting
Non-fictie
Engels | 289 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
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
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
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
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
Rosella Gennari Mapping inferences
constraint propagation and diamond satisfaction
Non-fictie
Engels | 194 pagina's | Institute for Logic, Language and Computation, 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
Silvio Ghilardi | Marek Zawadowski Sheaves, games and model completions
a categorial approach to nonclassical propositional logics
Non-fictie
Engels | 243 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
David J. Pym The semantics and proof theory of the logic of bunched implications
Non-fictie
Engels | 287 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
Paulus Venetus Logica parva
Non-fictie
Latijn | Engels | 314 pagina's | Brill, Leiden [etc.] | 2002
Gedrukt boek
Centre for Telematics and Information Technology Model-checking algorithms for continuous-time Markov chains
Non-fictie
Engels | 39 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek
Theo M.V. Janssen Independent choices and the interpretation of IF Logic
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Giovanna Corsi Counterpart semantics
a foundational study on quantified modal logics
Non-fictie
Engels | 61 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 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
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
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
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