Zoekresultaten
Resultaat 241 - 260 (van 1101)
Carlos Areces | Hans de Nivelle | M. de Rijke Prefixed resolution
a resolution method for modal and description logics
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Maarten Marx | Szabolcs Mikulás | M.C. Reynolds The mosaic method for temporal logics
Non-fictie
Engels | 14 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Two-dimensional labelled deduction
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Complexity results for hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Hybrid logics
characterization, interpolation and complexity
Non-fictie
Engels | 35 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Roman Murawski Recursive functions and metamathematics
problems of completeness and decidability, Gödel's theorems
Non-fictie
Engels | 391 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1999
Gedrukt boek
M.H.J. Schoenmaekers Beginselen der beeldende wiskunde
Non-fictie
Nederlands | 216 pagina's | Van Dishoeck, Bussum | 1916
Gedrukt boek
Johan van Benthem Dynamic odds & ends
Non-fictie
Engels | 80 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Johan van Benthem Temporal patterns and modal structure
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Dick de Jongh | Paul van Ulsen Beth's nonclassical valuations
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Decoding the E+-Class by an A Posteriori, liftable order
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Manual of the TYPO type checker
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Resolution decided the guarded fragment
Non-fictie
Engels | 39 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Handbook of proof theory
Non-fictie
Engels | 811 pagina's | Elsevier, Amsterdam [etc.] | 1998
Gedrukt boek
Paul Harrenstein From a modal point of view: a logical investigation into modalities De Dicto and De Re
Non-fictie
Engels | 111 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Carlos Areces | Verónica Becher Iterable AGM functions
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Petr Hájek Metamathematics of fuzzy logic
Non-fictie
Engels | 297 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1998
Gedrukt boek
Victor N. Krivtsov A negationless interpretation of intuitionistic axiomatic theories: arithmetic and analysis
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Victor N. Krivtsov A negationless interpretation of intuitionistic axiomatic theories: higher-order arithmetic
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Dutch Graduate School in Logic Proceedings Accolade{97
Non-fictie
Engels | 96 pagina's | Dutch Graduate School in Logic, Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam | 1998
Gedrukt boek