Zoekresultaten
Resultaat 41 - 50 (van 50)
Maarten Marx Complexity of modal logics of relations
Non-fictie
Engels | 72 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
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
Nirwan Ansari | Edwin Hou Computational intelligence for optimization
Non-fictie
Engels | 225 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1997
Gedrukt boek
M.C.A. Devillers | D. Griffioen | O. Müller Possibly infinite sequences in theorem provers
a comparative study
Non-fictie
Engels | 15 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek
J. Yan | A. van Harten | L.L.M. van der Wegen Fuzzy group decision making in a competitive situation
Non-fictie
Engels | BETA, Institute for Business Engineering and Technology Application, Eindhoven | 1997
Gedrukt boek
Synthesis of finite state machines
logic optimization
Non-fictie
Engels | 381 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1997
Gedrukt boek