phone +36 1 6333 184
LIBRISTO 0
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 GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Automated Deduction - CADE-19

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Automated Deduction - CADE-19 Franz Baader
Libristo kód: 01562844
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, július 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Ján Ondruš Básnické dielo Ján Ondruš / Puha kötésű
common.buy 4 091 Ft
Dárkové krabičky ve tvaru hvězdy 6 kusů / binding.
common.buy 2 957 Ft
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / binding.
common.buy 1 370 Ft
Comic Books as History Joseph Witek / Puha kötésű
common.buy 18 710 Ft
Einmal mit Alles Daniel Esswein / Kemény kötésű
common.buy 14 937 Ft
Norfolk W A Dutt / Puha kötésű
common.buy 14 086 Ft
Norm, Person, Gesellschaft. Günther Jakobs / Puha kötésű
common.buy 11 960 Ft
DNA Methylation, Epigenetics and Metastasis M. Esteller / Kemény kötésű
common.buy 103 526 Ft
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Puha kötésű
common.buy 19 753 Ft
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Kemény kötésű
common.buy 52 141 Ft
Functional Foods and Nutraceuticals Aluko / Kemény kötésű
common.buy 47 481 Ft

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Információ a könyvről

Teljes megnevezés Automated Deduction - CADE-19
Szerző Franz Baader
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2003
Oldalszám 512
EAN 9783540405597
ISBN 3540405593
Libristo kód 01562844
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1600
Méretek 155 x 235 x 29

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ű
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása