Resolution methods for the decision problem
author
Fermüller, C.
Leitsch, A.
Tammet, Tanel
Zamov, N.
statement of authorship
C.Fermüller, A.Leitsch, T.Tammet, N.Zamov
location of publication
Berlin
publisher
Springer
year of publication
1993
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