Resolution calculus
Leitsch, Alexander
Resolution calculus - - Berlin : Springer-Verlag, 1997 1997 - viii,300 p. 24 cm - EATCS monographs on theoretical computer science .
3-540-61882-12
Computer algorithms
Logic,Symbolic and mathematical
681.3.06:517.1 Lei
Resolution calculus - - Berlin : Springer-Verlag, 1997 1997 - viii,300 p. 24 cm - EATCS monographs on theoretical computer science .
3-540-61882-12
Computer algorithms
Logic,Symbolic and mathematical
681.3.06:517.1 Lei