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

Name: First Order Logic and Automated Theorem Proving (Texts in Computer Science)
Brand: Springer
SKU: 7a2c8c7a7905fc48524a23b5da74ae8a

1/1

Preise von

96,29

Hervorgehoben

	€ 96,29	Zum Shop
	€ 96,29	Zum Shop

Beschreibung

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

Webshops vergleichen (2)

Shop

Preis

€ 96,29

Zum Shop

€ 96,29

Zum Shop

Beschreibung (1)

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

Marken	Springer
EAN	9781461275152

Preise zuletzt aktualisiert am: 04-06-2026, 00:48

Springer

Computer Vision: Algorithms and Applications (Texts in Science)

Springer

Computer Vision: Algorithms and Applications (Texts in Science)

Springer

Quantum Logic (Discrete Mathematics and Theoretical Computer Science)

Springer

Programming in Two Semesters: Using Python and Java (Texts Computer Science)

Hervorgehobene Wahl

€ 96,29

Zum Shop