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

full record print

Resolution decision procedures

author

Fermüller, Christian G.

Hustadt, Ullrich

Leitsch, Alexander

Tammet, Tanel

statement of authorship

Christian G.Fermüller, Ullrich Hustadt, Alexander Leitsch, Tanel Tammet

source

Handbook of automated reasoning. Vol. 2

location of publication

Amsterdam

publisher

Elsevier

year of publication

2001

pages

p. 1791-1849

ISBN

0444508120

notes

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.