Tájékoztatjuk kedves Vásárlóinkat, hogy az ügyfélszolgálat az állami ünnep végett nem elérhető. Megértésüket köszönjük.
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
Tájékoztatjuk kedves Vásárlóinkat, hogy az ügyfélszolgálat az állami ünnep végett nem elérhető. Megértésüket köszönjük.
Automated Reasoning with Analytic Tableaux and Related Methods
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book constitutes the refereed proceedings of the International Conference on Automated Reasonin...
Teljes leírás
Libristo kód: 01567478
?
168 b
168 b
26 358
Ft
Beszállítói készleten alacsony példányszámban
Küldés 14-18 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000.§The 23 revised full papers and 2 system descriptions presented were carefully reviewed and selected from 42 submissions. Also included are 3 invited lectures and 6 nonclassical system comparisons. All current issues surrounding the mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation, systems development, and applications, as well as covering a broad variety of logical calculi.
Információ a könyvről
Teljes megnevezés
Automated Reasoning with Analytic Tableaux and Related Methods
Szerző
Roy Dyckhoff
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2000
Oldalszám
440
EAN
9783540676973
ISBN
354067697X
Libristo kód
01567478
Kiadó
Springer, Berlin
Súly
635
Méretek
155 x 235 x 23
Kategória
Technológia, mérnöki tudományok, mezőgazdaság
>
Elektronikus és kommunikációs gépészet
>
Villamosmérnöki tudomány
>
Automata irányítási gépészet
>
Robotika
Számítástechnika és információtechnológia
>
Számítógépes programozás / szoftvermérnöki tudomány
>
Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia
>
Számítógépes programozás / szoftvermérnöki tudomány
>
Programozási és szoftveres nyelvek: általános jellegű
