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