Resolution methods for the decision problem

author
Fermüller, C.
Leitsch, A.
Zamov, N.
statement of authorship
C.Fermüller, A.Leitsch, T.Tammet, N.Zamov
location of publication
Berlin
publisher
year of publication
pages
205, [3] S
series
Lecture notes in artificial intelligence ; 679
ISBN
3-540-56732-1
notes
Ilmunud ka Springer-Verlag New York, Berlin, Heidelberg väljaandena, ISBN 0-387-56732-1. Bibliogr. S. 198-203
Fermüller, C., Leitsch, A., Tammet, T., Zamov, N. Resolution methods for the decision problem. Berlin : Springer, 1993. 205, [3] S. (Lecture notes in artificial intelligence ; 679).