Zoekresultaten
Resultaat 41 - 57 (van 57)
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
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
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
Michael Moortgat Categorial grammar and formal semantics
Non-fictie
Engels | 21 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Robin Hirsch | Ian Hodkinson Relation algebras by games
Non-fictie
Engels | 691 pagina's | Elsevier, Amsterdam [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
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
Richard Cornelis Antonius Moot Proof nets for linguistic analysis
Non-fictie
Engels | 252 pagina's | 2002
Gedrukt boek
Yde Venema Atomless varieties
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
C.M. Jonker | Jan Treur Analysis of the dynamics of reasoning using multiple representations
Non-fictie
Engels | 12 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Pascal Ferenc van Lith Hybrid fuzzy-first principles modeling
Non-fictie
Engels | 264 pagina's | Twente University Press, Enschede | 2002
Gedrukt boek
Logic synthesis and verification
Non-fictie
Engels | 454 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
Is there a single right interpretation?
Kennistheoretische essays over de eenduidigheid van teksten en kunstwerken.
Non-fictie
Engels | 423 pagina's | Pennsylvania State University Press, University Park, PA | 2002
Gedrukt boek