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

Reihe Applied Logic Series

Walter Carnielli ×eBooks ×

Buchcover Analysis and Synthesis of Logics

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Walter Carnielli

Springer Netherland