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