Completeness of resolution for definite answers
author
Tammet, Tanel
statement of authorship
Tanel Tammet
source
Journal of logic and computation
journal volume number month
Vol. 5
year of publication
1995
pages
4, p. 449-471
subject term
matemaatiline loogika
resolutsioonid
vastused
ISSN
0955-792X
notes
Bibliogr.: 15 ref
language
inglise