Gandalf
autor
vastutusandmed
Tanel Tammet
allikas
Journal of automated reasoning
ajakirja aastakäik number kuu
18
ilmumisaasta
leheküljed
p. 199-204
ISSN
0168-7433
märkused
Bibliogr.: 5 ref
Tammet, T. Gandalf // Journal of automated reasoning (1997) 18, p. 199-204.