Zoekresultaten
Resultaat 21 - 40 (van 1101)
Discrete wiskunde 2
Non-fictie
Nederlands | 192 pagina's | Open universiteit, Heerlen | 1997
Gedrukt boek
Hans de Nivelle Equivalentie van een aantal deductiesystemen
Non-fictie
Nederlands | 71 pagina's | Faculteit der Technische Wiskunde en Informatica, Delft | 1992
Gedrukt boek
Hans Hellendoorn | Nico Roos Redeneren met onvolledige en onzekere kennis
Non-fictie
Nederlands | 28 pagina's | NLR, Amsterdam | 1989
Gedrukt boek
Willem Jonker Het detecteren van inconsistenties bij meervoudige erving
Non-fictie
Nederlands | Technische Universiteit, Delft | 1988
Gedrukt boek
Frans Voorbraak Redeneren met onzekerheid in expertsystemen
Non-fictie
Nederlands | 39 pagina's | Faculteit der Wijsbegeerte, Rijksuniversiteit, Utrecht | 1987
Gedrukt boek
Jan Treur Een logische analyse van diagnostische redeneerprocessen
redeneren met en over hypothesen
Non-fictie
Nederlands | 27 pagina's | Vakgroep Programmatuur, Universiteit van Amsterdam, Amsterdam | 1987
Gedrukt boek
Jan Treur Volledigheid en definieerbaarheid in diagnostische redeneersystemen
Non-fictie
Nederlands | 19 pagina's | Vakgroep Programmatuur, Universiteit van Amsterdam, Amsterdam | 1987
Gedrukt boek
F. Verbeek | N. van Vugt-Hage System verification and testing
workbook
Non-fictie
Nederlands | 115 pagina's | Open Universiteit, [Heerlen] | 2015
Gedrukt boek
Discrete wiskunde B
Non-fictie
Nederlands | 104 pagina's | Open Universiteit Nederland, Faculteit Informatica, Heerlen | 2010
Gedrukt boek
S.M. Verduyn Lunel De logica het werk laten doen
Non-fictie
Nederlands | 20 pagina's | Universiteit Leiden], [Leiden | 2001
Gedrukt boek
H. Zantema | P.W.H. Lemmens Beschrijven en bewijzen
Non-fictie
Nederlands | 169 pagina's | Delft University Press, Delft | 1999
Gedrukt boek
J.A. Bergstra The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs
Engels | 14 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
Herman Jurjus On nesting of a nonmonotonic conditional
Non-fictie
Nederlands | 14 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek
J.F. Groote | H.P. Korver A correctness proof of the Bakery protocol in →m⇋CRL
Non-fictie
Nederlands | 31 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1992
Gedrukt boek
Hans Hellendoorn Redeneren met inexactheid met behulp van de vage-verzamelingentheorie
Non-fictie
Nederlands | 17 pagina's | NLR, Amsterdam | 1991
Gedrukt boek
Open Universiteit | H.P.E. Vranken | N. van Vugt-Hage Premaster formele technieken
Non-fictie
Nederlands | 92 pagina's | Open Universiteit, Heerlen | 2018
Gedrukt boek
Ionica Smeets Je bent het waard
Non-fictie
Nederlands | 16 pagina's | Loopvis, Arnhem | 2022
Gedrukt boek
Nataša Rakić Common sense time and special relativity
Non-fictie
Engels | 140 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1997
Gedrukt boek
Johan van Benthem | Darko Sarenac The geometry of knowledge
Non-fictie
Nederlands | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek