Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, listopad 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Chaines de Markov sur les Permutations J.-E. Dies / Kniha Brožovaná
common.buy 899 Kč
Backbone JS: JavaScript Framework Guillermo Lorenzo Carvallo / Kniha Brožovaná
common.buy 299 Kč
Road House Rowdy Herrington / Video DVD
common.buy 317 Kč
Sladké mandaly - Omalovánky pro dospělé / Kniha Brožovaná
common.buy 96 Kč
Joannis Petri Maffeii Bergomatis E Societate Jesu Historiarum Iudicarum Libri Xvi... Johannes Petrus Maffei / Kniha Brožovaná
common.buy 576 Kč
La Decimocuarta ENRIQUE ORTEGO / Kniha Brožovaná
common.buy 566 Kč
Jak neztratit rozum v nerozumné době Petr Nutil / Kniha Brožovaná
common.buy 272 Kč
Englisch für die Berufsreifeprüfung - Hauptmodul Forms and Structures, Workbook Lösungsheft Gabriele Raab / Kniha Brožovaná
common.buy 232 Kč
People-Shooting Haasz Christian / Kniha Pevná
common.buy 408 Kč
Hameau Willia Faulkner / Kniha Brožovaná
common.buy 336 Kč
My Big Sister/Mi Hermana Mayor Samuel Caraballo / Kniha Pevná
common.buy 403 Kč
Gold Advanced Coursebook Sally Burgess / Kniha Brožovaná
common.buy 984 Kč
Gold Advanced Coursebook with Advanced MyLab Pack GOLD / Kniha Pevná
common.buy 1 575 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Automated Deduction - CADE-14
Autor William McCune
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 469
EAN 9783540631040
ISBN 3540631046
Libristo kód 01566388
Nakladatelství Springer, Berlin
Váha 632
Rozměry 156 x 234 x 24

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 > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
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

Mohlo by vás také zajímat

Global Theory of Dynamical Systems Z. Nitecki / Kniha Brožovaná
common.buy 1 457 Kč
Top
World of Warcraft: The Shattering Christie Golden / Kniha Brožovaná
common.buy 195 Kč
Origins of People-to-People Diplomacy, U.S. and Russia, 1917-1957 McFadden / Kniha Pevná
common.buy 2 196 Kč
Top
Cambridge Lower Secondary Mathematics Teacher's Resource 9 with Digital Access Lynn Byrd / Kniha Brožovaná
common.buy 3 063 Kč
Victim Slayer Latoya Roberts / Kniha Brožovaná
common.buy 392 Kč
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 638 Kč
Modernism as Memory Kathleen James-Chakraborty / Kniha Brožovaná
common.buy 953 Kč
Top
Moshi Moshi Banana Yoshimoto / Kniha Brožovaná
common.buy 287 Kč
Formalisation of SysML Models and Analysis based on Refinement Lucas Lima / Kniha Brožovaná
common.buy 1 620 Kč
Pick and Pack's Adventure Gaye Lynn Trusty / Kniha Brožovaná
common.buy 294 Kč
Ohio Medical and Surgical Journal, Volume 6 James Henry Pooley / Kniha Pevná
common.buy 924 Kč
Best of Quinoa Rena Patten / Kniha Pevná
common.buy 618 Kč
Fluid Iron Tony Day / Kniha Brožovaná
common.buy 916 Kč
Capital Accumulation and Women's Labour in Asian Economies Peter Custers / Kniha Brožovaná
common.buy 662 Kč
Analysis and Application of Dynamic Patterns within the Context of Complaint Management Martina Müller / Kniha Brožovaná
common.buy 874 Kč
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists Scott M. Lynch / Kniha Brožovaná
common.buy 2 762 Kč
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Kniha Brožovaná
common.buy 1 167 Kč
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Kniha Pevná
common.buy 4 115 Kč
I Think I Am a Verb Thomas A. Sebeok / Kniha Brožovaná
common.buy 2 357 Kč
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Kniha Pevná
common.buy 1 875 Kč
Acidic Pit Lakes Walter Geller / Kniha Pevná
common.buy 3 532 Kč
Anthropology and the Bushman Alan Barnard / Kniha Brožovaná
common.buy 1 212 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?