Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Deduction - CADE-19 Franz Baader
Libristo kód: 01562844
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Celý popis
? points 125 b
51.65 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Obesit? e riserva ovarica Manal Mohammed Ali / Kniha Brožovaná
common.buy 35.68 €
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Kniha Brožovaná
common.buy 39.21 €
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Kniha Brožovaná
common.buy 15.36 €
brava veterinaria. Facciamo che ero Donata Quagliotti / Kniha Pevná
common.buy 20.51 €
Niño GARCIA MAÑA / Kniha Brožovaná
common.buy 15.15 €
Einmal mit Alles Daniel Esswein / Kniha Pevná
common.buy 37.80 €
Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Kniha Pevná
common.buy 17.58 €
Ján Ondruš Básnické dielo Ján Ondruš / Kniha Brožovaná
common.buy 9.09 €
Dřevěné kostky Zvířátka 2 kostky / Hra/Hračka Hračka
common.buy 5.65 €
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Kniha Pevná
common.buy 22.64 €
Daltonismo-¿de qué color lo ves? Violeta Crespo / Kniha Brožovaná
common.buy 12.63 €
So sparen Sie Geld, Ressourcen, Energie Götz Warnke / Kniha Brožovaná
common.buy 15.26 €
Der Murks mit der Milch Max O. Bruker / Kniha Brožovaná
common.buy 15.96 €
Pripravujeme
Lehrbuch Dieter Blohm / Kniha Pevná
common.buy 55.59 €
Norm, Person, Gesellschaft. Günther Jakobs / Kniha Brožovaná
common.buy 33.05 €
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Kniha Brožovaná
common.buy 56.50 €
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Kniha binding.
common.buy 3.43 €
Dárkové krabičky ve tvaru hvězdy 6 kusů / Papierenský tovar Papierenský tovar
common.buy 6.36 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Automated Deduction - CADE-19
Autor Franz Baader
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2003
Počet strán 512
EAN 9783540405597
ISBN 3540405593
Libristo kód 01562844
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1600
Rozmery 155 x 235 x 29

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Kniha Brožovaná
common.buy 102.90 €
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Kniha Brožovaná
common.buy 24.66 €
Liturgy of the Church of England Explained and Vindicated, So as to Appear in Perfect Harmony with the Scriptures, and Very Far Distant from the Armin Augustus Toplady / Kniha Brožovaná
common.buy 11.82 €
History of Cherry Valley. from 1740 to 1898. John Sawyer / Kniha Brožovaná
common.buy 16.67 €
The Methodist Quarterly V5: A Journal Of Theological And General Literature (1871) Methodist Episcopal Church / Kniha Brožovaná
common.buy 31.83 €
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Kniha Pevná
common.buy 25.57 €
Female Force: Women of Country Music - Dolly Parton, Carrie Underwood, Loretta Lynn, and Reba McEntire Michael Frizell / Kniha Brožovaná
common.buy 18.29 €
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Kniha Pevná
common.buy 25.57 €
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Kniha Pevná
common.buy 30.92 €
Vigilante Witch Hunter Gary Turcotte / Kniha Brožovaná
common.buy 21.12 €
Brave Men and Women Osgood E Fuller / Kniha Brožovaná
common.buy 8.99 €
Church Reform Movement at Rome Charles R Conybeare / Kniha Brožovaná
common.buy 11.72 €
Night of the Cat Richard Waltner / Kniha Brožovaná
common.buy 19.30 €
Sarah's Story Danielle Aitken / Kniha Brožovaná
common.buy 18.29 €
history of India Sir Roper Lethbridge / Kniha Brožovaná
common.buy 19.50 €
Glorious Boy Aimee Liu / Kniha Brožovaná
common.buy 16.27 €
Ghost Sonata Gary Reed / Kniha Brožovaná
common.buy 10.00 €
Tree Tops Jim Corbett / Kniha Brožovaná
common.buy 4.84 €
Empire of Hanging Swords R. R. Egal / Kniha Pevná
common.buy 26.48 €
Recent Topics on Prevention, Diagnosis, and Clinical Management of Cervical Cancer Daisuke Aoki / Kniha Brožovaná
common.buy 100.68 €
Functional Foods and Nutraceuticals Aluko / Kniha Pevná
common.buy 85.62 €
Norfolk W A Dutt / Kniha Brožovaná
common.buy 26.88 €
Comic Books as History Joseph Witek / Kniha Brožovaná
common.buy 39.52 €
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Kniha Pevná
common.buy 102.90 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?