Zoekresultaten
Resultaat 921 - 940 (van 1047)
Paul Dekker Coreference and representationalism
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
A. Bossi | S. Etalle | S. Rossi Properties of input-consuming derivations
Non-fictie
Engels | Universiteit Maastricht, Department of Computer Science, Maastricht | 1999
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Labelled deduction for the guarded fragment
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
D. Dams Flat fragments of CTL and CTL*
seperating the expressive and distinguishing powers
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1998
Gedrukt boek
Sorin Dan Coţofanǎ Addition related arithmetic operations with threshold logic
Non-fictie
Engels | 177 pagina's | 1998
Gedrukt boek
D.J.N. van Eijck Programming with dynamic predicate logic
Non-fictie
Engels | 39 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
João Miguel da Costa Sousa A fuzzy approach to model-based control
Non-fictie
Engels | 244 pagina's | 1998
Gedrukt boek
Lambèr M.M. Royakkers Extending deontic logic for the formalisation of legal rules
Non-fictie
Engels | 191 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1998
Gedrukt boek
Fuzzy systems
modeling and control
Non-fictie
Engels | 519 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1998
Gedrukt boek
F.A. Lootsma Fuzzy logic for planning and decision making
Non-fictie
Engels | 195 pagina's | Kluwer Academic, Dordrecht [etc.] | 1997
Gedrukt boek
H. Wupper Quantified modal algebra
quantified modal operators and their use in specification
Non-fictie
Engels | 19 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek
Michael Franssen →l⇋P-: a pure type system for first order logic with automated theorem proving
Non-fictie
Engels | 35 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
Computing Science Institute Verification of a leader election protocol
formal methods applied to IEEE 1394
Non-fictie
Engels | 9 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek
Utrechts Instituut voor Linguistiek De dag
proceedings of the workshops on definites
Non-fictie
Engels | 165 pagina's | LEd, Utrecht | 1997
Gedrukt boek
B. van Linder Modal logics for rational agents
Non-fictie
Engels | 204 pagina's | Universiteit Utrecht, Faculteit Wiskunde en Informatica, Utrecht | 1996
Gedrukt boek
Lambèr M.M. Royakkers Representing legal rules in deontic logic
Non-fictie
Engels | 205 pagina's | 1996
Gedrukt boek
Fuzzy logic foundations and industrial applications
Non-fictie
Engels | 330 pagina's | Kluwer Academic Publishers, Boston [etc.], Dordrecht | 1996
Gedrukt boek
D. Dams Abstract interpretation and partition refinement for model checking
Non-fictie
Engels | 219 pagina's | Eindhoven University of Technology, Eindhoven | 1996
Gedrukt boek
M.H. van Emden Value constraints in the CLP scheme
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Salvatore Greco The splitting property of fuzzy financial laws
Non-fictie
Engels | 10 pagina's | RIBES, Rotterdam Institute for Business Economic Studies, Rotterdam | 1996
Gedrukt boek