Completeness of resolution for definite answers
author
statement of authorship
Tanel Tammet
journal volume number month
Vol. 5
year of publication
pages
4, p. 449-471
ISSN
0955-792X
notes
Bibliogr.: 15 ref
language
inglise
Tammet, T. Completeness of resolution for definite answers // Journal of logic and computation (1995) Vol. 5, 4, p. 449-471.