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

prindi

Resolution methods for the decision problem

autor

Fermüller, C.

Leitsch, A.

Tammet, Tanel

Zamov, N.

vastutusandmed

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

ilmumiskoht

Berlin

kirjastus/väljaandja

Springer

ilmumisaasta

1993

leheküljed

205, [3] S

seeria-sari

Lecture notes in artificial intelligence ; 679

ISBN

3-540-56732-1

märkused

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