„natarajan shankar"
-
Verified Software: Theories, Tools, Experiments
Band 5295
Verified Software: Theories, Tools, ExperimentsBuch (Taschenbuch) + weitere
51,99 €
-
Metamathematics, Machines and Godel's Proof
Natarajan Shankar + weitere
Metamathematics, Machines and Godel's ProofBuch (Taschenbuch)
73,99 €
-
Automated Reasoning
Band 4130Ulrich Furbach + weitere
Automated ReasoningBuch (Taschenbuch)
99,99 €