Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
Hogyan vásároljunk
Segítség
Kézbesítés
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 1 6333 184
Saját fiók
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes fiók létrehozása
▸
Üres :-(
0
SAT 2005
Nyelv
Angol
Angol
Könyv
Kemény kötésű
This book covers recent progress in solving propositional satisfiability and related problems. Propo...
Teljes leírás
Libristo kód: 02120471
?
509 b
509 b
79 595
Ft
Beszállítói készleten alacsony példányszámban
Küldés 12-15 napon belül
30 nap a termék visszaküldésére
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§
Információ a könyvről
Teljes megnevezés
SAT 2005
Szerző
Enrico Giunchiglia, Toby Walsh
Nyelv
Angol
Angol
Kötés
Könyv - Kemény kötésű
Kiadás éve
2006
Oldalszám
293
EAN
9781402045523
ISBN
1402045522
Libristo kód
02120471
Súly
1320
Méretek
155 x 235 x 25
