Zoekresultaten
Resultaat 41 - 60 (van 88)
S. Etalle Transformation and analysis of (constraint) logic programs
Non-fictie
Engels | 199 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
Peter J. de Bruin Inductive types in constructive languages
Non-fictie
Engels | 166 pagina's | 1995
Gedrukt boek
Johan van Benthem Modal foundations of predicate logic
Non-fictie
Engels | 35 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Institute for Logic, Language and Computation Logics of structural resources
Non-fictie
Engels | 77 pagina's | ILLC/Department of Philosophy, University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Rijksuniversiteit On the design of a correct freeness analysis for logic programs
Non-fictie
Engels | 28 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Marc Jumelet Essay on elementary number theory in I_DELTA_0
Non-fictie
Engels | 140 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Maarten Marx Algebraic relativization and arrow logic
Non-fictie
Engels | 165 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1995
Gedrukt boek
Natasha Alechina Modal quantifiers
Non-fictie
Engels | 126 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
Szabolcs Mikulás Taming logics
Non-fictie
Engels | 123 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1995
Gedrukt boek
Patrick Blackburn | M. de Rijke Why combine logics?
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Eric de Kogel Equational proofs in tableaux and logic programming
Non-fictie
Engels | 139 pagina's | 1995
Gedrukt boek
Perspectives on negation
essays in honour of Johan J. de Iongh on his 80th birthday; hommage à Johan J. de Iongh pour son 80e anniversaire
Non-fictie
Engels | Frans | 219 pagina's | Tilburg University Press, Tilburg | 1995
Gedrukt boek
Marianne Kalsbeek Meta-logics for logic programming
Non-fictie
Engels | 150 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1995
Gedrukt boek
E. Marchiori A methodology for proving termination of general logic programs
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Cees Witteveen | W. van der Hoek Nonmonotonic theory revision in logic programming
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Yde Venema | Maarten Marx A modal logic of relations
Non-fictie
Engels | 31 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Erik Barendsen Types and computations in lambda calculi and graph rewrite systems
Non-fictie
Engels | 187 pagina's | 1995
Gedrukt boek
M. de Rijke A modal characterization of Peirce algebras
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Kazimierz Świrydowicz There exist exactly two maximal strictly relevant extensions of the relevant logic R*
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
T. Arts | H. Zantema Termination of constructor systems using semantic unification
Non-fictie
Engels | 4 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek