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

Reihe Monographs in Computer Science

Melvin Fitting ×Springer US ×

Buchcover First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Buchcover First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving