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-14

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997. Proceedings.

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Deduction - CADE-14 William McCune
Libristo kód: 01566388
Nakladateľstvo Springer, Berlin, november 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... Celý popis
? points 125 b
51.53 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Chaines de Markov sur les Permutations J.-E. Dies / Kniha Brožovaná
common.buy 39.23 €
Road House Rowdy Herrington / Video DVD
common.buy 13.30 €
Sladké mandaly - Omalovánky pro dospělé / Kniha Brožovaná
common.buy 3.82 €
La Decimocuarta ENRIQUE ORTEGO / Kniha Brožovaná
common.buy 23.29 €
Jak neztratit rozum v nerozumné době Petr Nutil / Kniha Brožovaná
common.buy 9.47 €
Englisch für die Berufsreifeprüfung - Hauptmodul Forms and Structures, Workbook Lösungsheft Gabriele Raab / Kniha Brožovaná
common.buy 11.59 €
People-Shooting Haasz Christian / Kniha Pevná
common.buy 17.84 €
Hameau Willia Faulkner / Kniha Brožovaná
common.buy 14.82 €
Gold Advanced Coursebook Sally Burgess / Kniha Brožovaná
common.buy 46.09 €
Gold Advanced Coursebook with Advanced MyLab Pack GOLD / Kniha Pevná
common.buy 64.95 €

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

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-14
Autor William McCune
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1997
Počet strán 469
EAN 9783540631040
ISBN 3540631046
Libristo kód 01566388
Nakladateľstvo Springer, Berlin
Váha 632
Rozmery 156 x 234 x 24

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 > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
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ť

Global Theory of Dynamical Systems Z. Nitecki / Kniha Brožovaná
common.buy 63.23 €
Top
World of Warcraft: The Shattering Christie Golden / Kniha Brožovaná
common.buy 9.67 €
Origins of People-to-People Diplomacy, U.S. and Russia, 1917-1957 McFadden / Kniha Pevná
common.buy 87.54 €
Victim Slayer Latoya Roberts / Kniha Brožovaná
common.buy 16.13 €
Narrative of an Expedition Across the Great South-Western Prairies, from Texas to Sante F: With an Account of the Disasters Which Befel [Sic] the Expe Geo Wilkins Kendall / Kniha Brožovaná
common.buy 26.32 €
Modernism as Memory Kathleen James-Chakraborty / Kniha Brožovaná
common.buy 39.23 €
Moshi Moshi Banana Yoshimoto / Kniha Brožovaná
common.buy 12.70 €
Formalisation of SysML Models and Analysis based on Refinement Lucas Lima / Kniha Brožovaná
common.buy 70.90 €
Pick and Pack's Adventure Gaye Lynn Trusty / Kniha Brožovaná
common.buy 12.70 €
Ohio Medical and Surgical Journal, Volume 6 James Henry Pooley / Kniha Pevná
common.buy 38.12 €
Best of Quinoa Rena Patten / Kniha Pevná
common.buy 27.43 €
Fluid Iron Tony Day / Kniha Brožovaná
common.buy 37.71 €
Capital Accumulation and Women's Labour in Asian Economies Peter Custers / Kniha Brožovaná
common.buy 28.53 €
I Think I Am a Verb Thomas A. Sebeok / Kniha Brožovaná
common.buy 102.67 €
Analysis and Application of Dynamic Patterns within the Context of Complaint Management Martina Müller / Kniha Brožovaná
common.buy 38.22 €
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists Scott M. Lynch / Kniha Brožovaná
common.buy 120.52 €
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Kniha Brožovaná
common.buy 54.15 €
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Kniha Pevná
common.buy 167.22 €
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Kniha Pevná
common.buy 82.70 €
Anthropology and the Bushman Alan Barnard / Kniha Brožovaná
common.buy 49.92 €
Acidic Pit Lakes Walter Geller / Kniha Pevná
common.buy 153.91 €

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ť?