Zoekresultaten
Resultaat 61 - 80 (van 105)
Paul Dekker Predicate logic with anaphora
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Huang Zhisheng Logics for agents with bounded rationality
Non-fictie
Engels | 216 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Johannes Buridanus Questiones elencorum
Non-fictie
Latijn | Engels | 153 pagina's | Ingenium, Nijmegen | 1994
Gedrukt boek
Johannes Buridanus Summulae in praedicamenta
Non-fictie
Latijn | Engels | 157 pagina's | Ingenium, Nijmegen | 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
I.S.W.B. Prasetya Mechanization of substitution rule and compositionality of UNITY in HOL
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
M.J. Hollenberg | C.F.M. Vermeulen Counting variables in a dynamic setting
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Glyn V. Morrill Type logical grammar
categorial logic of signs
Non-fictie
Engels | 307 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1994
Gedrukt boek
Implementations of logic programming systems
Non-fictie
Engels | 262 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Paul J. Hager Continuity and change in the development of Russell's philosophy
Non-fictie
Engels | 195 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1994
Gedrukt boek
Johan van Benthem | G. Cepparello Tarskian variations: dynamic parameters in classical semantics
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Johan van Benthem | Dag Westerståhl Directions in generalized quantifier theory
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Institute for Logic, Language and Computation Ellipsis, tense and questions
Non-fictie
Engels | 364 pagina's | ILLC/Department of Philosophy, University of Amsterdam, Amsterdam | 1994
Gedrukt boek
M. de Rijke The logic of Peirce algebras
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Vladimir Kanovei | Michiel van Lambalgen Another construction of choiceless ultrapower
Non-fictie
Engels | 6 pagina's | ILLC, Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
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
C.M. Jonker Constraints and negations in logic programming
Non-fictie
Engels | 198 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1994
Gedrukt boek
T. Arts | H. Zantema Termination of logic programs via labelled term rewrite systems
Non-fictie
Engels | 27 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
H. van den Berg Existential graphs and dynamic predicate logic
Non-fictie
Engels | University of Twente, Enschede | 1994
Gedrukt boek
J.F. Groote Hiding propositional constants in BDDs
Non-fictie
Engels | 5 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek