phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Automated Deduction - CADE-19

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Deduction - CADE-19 Franz Baader
Libristo kód: 01562844
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, července 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Ján Ondruš Básnické dielo Ján Ondruš / Brožovaná
common.buy 241 Kč
Dárkové krabičky ve tvaru hvězdy 6 kusů / binding.
common.buy 188 Kč
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / binding.
common.buy 94 Kč
Comic Books as History Joseph Witek / Brožovaná
common.buy 1 189 Kč
Einmal mit Alles Daniel Esswein / Pevná
common.buy 1 005 Kč
Norfolk W A Dutt / Brožovaná
common.buy 895 Kč
Norm, Person, Gesellschaft. Günther Jakobs / Brožovaná
common.buy 799 Kč
DNA Methylation, Epigenetics and Metastasis M. Esteller / Pevná
common.buy 6 578 Kč
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Brožovaná
common.buy 1 321 Kč
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Pevná
common.buy 3 313 Kč
Functional Foods and Nutraceuticals Aluko / Pevná
common.buy 3 017 Kč

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.

Informace o knize

Plný název Automated Deduction - CADE-19
Autor Franz Baader
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 512
EAN 9783540405597
ISBN 3540405593
Libristo kód 01562844
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1600
Rozměry 155 x 235 x 29

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet