Using Sophisticated Models in Resolution Theorem Proving
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(1)
Bol
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Lees meer
46,99
Uitgelicht
|
46,99 |
Naar shop
|
Beschrijving
Bol
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(1)
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijzen voor het laatst bijgewerkt op:
Gerelateerde producten
Uitgelichte Keuze
46,99
