Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

First-Order Logic and Automated Theorem Proving by Melvin Fitting (English) Pape

Ø 0.0
0 Bewertungen
95,78 €

1 Background. - 2 Propositional Logic. - 2.1 Introduction. - 2.3 Propositional Logic—Semantics. - 2.4 Boolean Valuations. - 2.6 Uniform Notation. - 2.7 König's Lemma. - 2.8 Normal Forms.

Jetzt bei Ebay: