Fermüller, C., Leitsch, A., Tammet, T., Zamov, N.

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

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).