Fermüller, C.G., Hustadt, U., Leitsch, A., Tammet, T.

prindi

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

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.