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
leitav
https://link.springer.com/book/10.1007/3-540-56732-1
märksõna
otsustamine
resolutsioonid
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
keel
inglise