Buchportal für Bücher die eine ISBN tragen.

Reihe Automated Reasoning Series

Buchcover Resolution Proof Systems

Resolution Proof Systems

An Algebraic Theory

Springer Netherland

Buchcover Automated Reasoning

Automated Reasoning

Essays in Honor of Woody Bledsoe

Springer Netherland

Buchcover Piton

A Mechanically Verified Assembly-Level Language

J Strother Moore

Springer Netherland