Zoekresultaten
Resultaat 41 - 60 (van 73)
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
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
Marco Aiello Spatial reasoning
theory and practice
Non-fictie
Engels | 195 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2002
Gedrukt boek
R. Bernardi Reasoning with polarity in categorial type logic
Non-fictie
Engels | 187 pagina's | 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
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
M. Bidoit | R. Hennicker | A. Kurz Observational logic, constructor-based logic, and their duality
Non-fictie
Engels | 33 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Johan van Benthem | G. Bezhanishvili | Mai Gehrke Euclidean hierachy in modal logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Carlos Areces | Hans de Nivelle | M. de Rijke Resolution in modal, description and hybrid logic
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 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
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
Paulus Venetus Logica parva
Non-fictie
Latijn | Engels | 314 pagina's | Brill, Leiden [etc.] | 2002
Gedrukt boek
Carlos Areces | M. de Rijke | Gabriel Infante-Lopez Decomposing modal logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Michael Moortgat Categorial grammar and formal semantics
Non-fictie
Engels | 21 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Patrick Blackburn | Maarten Marx Constructive interpolation in hybrid logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Jaroslav Ramík Generalized concavity in fuzzy optimization and decision analysis
Non-fictie
Engels | 296 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
Logical and computational aspects of model-based reasoning
Non-fictie
Engels | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
R.R. Hoogerwoord Leslie Lamport's logical clocks: a tutorial
Non-fictie
Engels | 26 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
Robin Hirsch | Ian Hodkinson Relation algebras by games
Non-fictie
Engels | 691 pagina's | Elsevier, Amsterdam [etc.] | 2002
Gedrukt boek