Zoekresultaten
Resultaat 81 - 100 (van 105)
R. Seljée A new method for integrity constraint checking in deductive databases
Non-fictie
Engels | 31 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
J.F. Groote | H.P. Korver A correctness proof of the Bakery protocol in →m⇋CRL
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Jos Coenen Formalisms for program reification and fault tolerance
Non-fictie
Engels | 84 pagina's | 1994
Gedrukt boek
Andreja Prijatelj Free algebras corresponding to multiplicative classical linear logic and some extensions
Non-fictie
Engels | 30 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
C.M. Jonker Constraints and negations in logic programming
Non-fictie
Engels | 198 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1994
Gedrukt boek
Jaap van der Does Cut might cautiously
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Marc Bezem | J.F. Groote Proving a graph well founded using resolution
Non-fictie
Engels | 11 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1994
Gedrukt boek
Department of Computing Science A partial order approach to branching time logic model checking
Non-fictie
Engels | 20 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
Patrick Blackburn | M. de Rijke | Yde Venema The algebra of modal logic
Non-fictie
Engels | 61 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
K.R. Apt | Peter van Emde Boas | Angelo Welling The STO-problem is NP-hard
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Maarten Marx | Szabolcs Mikulás | I. Németi Taming arrow logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
H. Helmink-Habes | M.P.A. Sellink | F.W. Vaandrager Proof-checking a data link protocol
Non-fictie
Engels | 41 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer | Jan Treur Temporalizing epistemic default logic
Non-fictie
Engels | 26 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
B. van Linder | W. van der Hoek | J.-J.Ch. Meyer Actions that make you change your mind
belief revision in an agent-oriented setting
Non-fictie
Engels | 43 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
B. van Linder | W. van der Hoek | J.-J.Ch. Meyer Tests as epistemic updates
pursuit of knowledge
Non-fictie
Engels | 32 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
Institute for Logic, Language and Computation Proceedings of the Ninth Amsterdam Colloquium
december 14-17, 1993
Non-fictie
Engels | ILLC/Department of Philosophy, University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Johan van Benthem Two essays on semantic modelling
Non-fictie
Engels | 19 pagina's | ILLC, Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Cees Witteveen Shifting and condensing normal logic programs and disjunctive databases
Non-fictie
Engels | 24 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
F. Teusink Three-valued completion for abductive logic programs
Non-fictie
Engels | 32 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Applied research in fuzzy technology
three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan
Non-fictie
Engels | 457 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek