First-Order Logic and Automated Theorem Proving (Texts in Computer Science) | DealShopping Deutschland
  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)

106.50 EUR 84.40 EUR 21% Off

Teilen:
Gesponsert

First-Order Logic and Automated Theorem Proving

preigu.de
84.40 EUR
24-07-2026 16:38:17
Gesponsert

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

Medimops DE
90.34 EUR
24-07-2026 14:23:28
Gesponsert

First-Order Logic and Automated Theorem Proving

SpringerLink DE
106.50 EUR
24-07-2026 23:33:07

Ähnliche Produkte

First-Order Dynamic Logic

First-Order Dynamic Logic

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

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

104.30 EUR
Reyes, G. E.: First Order Categorical Logic

Reyes, G. E.: First Order Categorical Logic

54.99 EUR
First-Order Modal Logic

First-Order Modal Logic

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

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

119.85 EUR
First Order-Logic: An Introduction

First Order-Logic: An Introduction

76.88 EUR