"Goal Directed Proof Theory" presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming styl [...]
Visa längre beskrivning
Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
---|---|---|---|---|---|---|
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 1623.00 kr | I lager | 5-7 dagar | 1623.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!