Formal Methods in Artificial Intelligence
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(1)
Bol Partner
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Lees meer
36,87
Uitgelicht
|
36,87 |
Naar shop
|
Beschrijving
Bol Partner
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijzen voor het laatst bijgewerkt op: