Completeness of resolution for definite answers
autor
vastutusandmed
Tanel Tammet
allikas
ajakirja aastakäik number kuu
Vol. 5
ilmumisaasta
leheküljed
4, p. 449-471
märksõna
ISSN
0955-792X
märkused
Bibliogr.: 15 ref
keel
inglise
Tammet, T. Completeness of resolution for definite answers // Journal of logic and computation (1995) Vol. 5, 4, p. 449-471.