Bibel - Automated Theorem Proving - New paperback or softback - 16 - X555z

Sandford - Using Sophisticated Models in Resolution Theorem Proving - - X555z

Chang - Symbolic Logic and Mechanical Theorem Proving - New hardback o - X555z

Schumann - Automated Theorem Proving in Software Engineering - New pap - X555z

Loveland - Automated Theorem Proving in Software Engineering - New har - X555z

Chan - Sensitivity Analysis of Probabilistic Graphical Models - New p - X555z

Jahnel - Probabilistic Methods in Telecommunications - New paperback o - X555z

Beringer - Interactive Theorem Proving Third International Conferenc - X555z