Resolution decision procedures

autor
Fermüller, Christian G.
Hustadt, Ullrich
Leitsch, Alexander
vastutusandmed
Christian G.Fermüller, Ullrich Hustadt, Alexander Leitsch, Tanel Tammet
allikas
Handbook of automated reasoning. Vol. 2
ilmumiskoht
Amsterdam
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 1791-1849
ISBN
0444508120
märkused
Bibliogr.: p. 1843-1846
Fermüller, C.G., Hustadt, U., Leitsch, A., Tammet, T. Resolution decision procedures // Handbook of automated reasoning. Vol. 2. Amsterdam : Elsevier, 2001. p. 1791-1849.