Formal Methods in Artificial Intelligence

Prijzen vanaf
36,87

Uitgelicht


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
36,87
gebruikt
Gratis
36,87
Naar shop
Gratis Shipping Costs
Beschrijving (1)

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.


Productspecificaties

EAN
  • 9780521352369
Maat

Prijzen voor het laatst bijgewerkt op:

Uitgelichte Keuze
36,87
Naar shop