Logik, computere og kunstig intelligens. / Bolander, Thomas; Nilsson, Jørgen Fischer; Villadsen, Jørgen.

In: Matematiske horisonter. Kgs. Lyngby : DTU Informatics, Building 321, 2009. p. 218-233.

Publication: Education › Book chapter – Annual report year: 2009