Name: Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving
Brand: OmniScriptum
SKU: 6233f50741874da539b22ef1b9ad9cd8

1/1

Afbeelding van Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

Amazon Marketplace

Prijzen vanaf

31,57

Uitgelicht

	31,57	Naar shop
	31,57	Naar shop

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

Vergelijk aanbieders (2)

Shop

Prijs

Verzendkosten

Totale prijs

31,57

Gratis

31,57

Naar shop

Gratis

31,57

Gratis

31,57

Naar shop

Gratis

Beschrijving (0)

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

Productspecificaties

Merk	OmniScriptum
EAN	9786130811280

Prijzen voor het laatst bijgewerkt op: 06-06-2026, 14:08

OmniScriptum

Automated Proof Checking: Mathematical Proof, Reasoning, Theorem Proving

47,31

Vergelijk 2 shops 2 shops

Theoretical Computer Science and General Issues Interactive Theorem Proving

50,99

Meer informatie Meer info

Automated Theorem Proving

59,99

Meer informatie Meer info

Interactive Theorem Proving

46,99

Meer informatie Meer info

Uitgelichte Keuze

31,57

Naar shop