Resolution methods for the decision problem
autor
vastutusandmed
C.Fermüller, A.Leitsch, T.Tammet, N.Zamov
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
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).