1. Home
  2. Medien
  3. Bücher
  4. First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
  • #

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

96.29 EUR 90.34 EUR 6% Off

Teilen:
Gesponsert

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Medimops DE
90.34 EUR
21-04-2026 18:14:38
Gesponsert

First-Order Logic and Automated Theorem Proving

SpringerLink DE
96.29 EUR
21-04-2026 20:52:54

Ähnliche Produkte

Reyes, G. E.: First Order Categorical Logic

Reyes, G. E.: First Order Categorical Logic

53.49 EUR
First-Order Modal Logic

First-Order Modal Logic

246.09 EUR
First-Order Dynamic Logic

First-Order Dynamic Logic

10.69 EUR
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

133.40 EUR
First-Order Modal Logic

First-Order Modal Logic

206.99 EUR
Higher-Order Algebra Logic and Term Rewriting

Higher-Order Algebra Logic and Term Rewriting

53.49 EUR
First Order-Logic: An Introduction

First Order-Logic: An Introduction

79.95 EUR

Rabin style speed-up of proofs: More generalized speed-up in the systems of first order logic

49.00 EUR