Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Automated Deduction - CADE-14

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Deduction - CADE-14 William McCune
Libristo-code: 01566388
Uitgeverij Springer, Berlin, november 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... Volledige beschrijving
? points 125 b
51.56 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Chaines de Markov sur les Permutations J.-E. Dies / Boek Gebonden (paperback)
common.buy 39.25 €
Road House Rowdy Herrington / Video Dvd
common.buy 14.02 €
Sladké mandaly - Omalovánky pro dospělé / Boek Gebonden (paperback)
common.buy 3.52 €
La Decimocuarta ENRIQUE ORTEGO / Boek Gebonden (paperback)
common.buy 23.41 €
Jak neztratit rozum v nerozumné době Petr Nutil / Boek Gebonden (paperback)
common.buy 11.29 €
Englisch für die Berufsreifeprüfung - Hauptmodul Forms and Structures, Workbook Lösungsheft Gabriele Raab / Boek Gebonden (paperback)
common.buy 10.08 €
People-Shooting Haasz Christian / Boek Gebonden (harde band)
common.buy 17.85 €
Hameau Willia Faulkner / Boek Gebonden (paperback)
common.buy 15.13 €
Gold Advanced Coursebook Sally Burgess / Boek Gebonden (paperback)
common.buy 41.07 €
Gold Advanced Coursebook with Advanced MyLab Pack GOLD / Boek Gebonden (harde band)
common.buy 64.99 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Deduction - CADE-14
Auteur William McCune
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1997
Aantal pagina's 469
EAN 9783540631040
ISBN 3540631046
Libristo-code 01566388
Uitgeverij Springer, Berlin
Gewicht 632
Afmetingen 156 x 234 x 24

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Global Theory of Dynamical Systems Z. Nitecki / Boek Gebonden (paperback)
common.buy 66.40 €
TOP
World of Warcraft: The Shattering Christie Golden / Boek Gebonden (paperback)
common.buy 9.17 €
Origins of People-to-People Diplomacy, U.S. and Russia, 1917-1957 McFadden / Boek Gebonden (harde band)
common.buy 77.10 €
Victim Slayer Latoya Roberts / Boek Gebonden (paperback)
common.buy 16.95 €
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 / Boek Gebonden (paperback)
common.buy 28.05 €
Modernism as Memory Kathleen James-Chakraborty / Boek Gebonden (paperback)
common.buy 42.78 €
Moshi Moshi Banana Yoshimoto / Boek Gebonden (paperback)
common.buy 13.51 €
Formalisation of SysML Models and Analysis based on Refinement Lucas Lima / Boek Gebonden (paperback)
common.buy 70.94 €
Pick and Pack's Adventure Gaye Lynn Trusty / Boek Gebonden (paperback)
common.buy 14.32 €
Ohio Medical and Surgical Journal, Volume 6 James Henry Pooley / Boek Gebonden (harde band)
common.buy 40.06 €
Best of Quinoa Rena Patten / Boek Gebonden (harde band)
common.buy 27.04 €
Fluid Iron Tony Day / Boek Gebonden (paperback)
common.buy 39.05 €
Capital Accumulation and Women's Labour in Asian Economies Peter Custers / Boek Gebonden (paperback)
common.buy 29.86 €
I Think I Am a Verb Thomas A. Sebeok / Boek Gebonden (paperback)
common.buy 102.73 €
Analysis and Application of Dynamic Patterns within the Context of Complaint Management Martina Müller / Boek Gebonden (paperback)
common.buy 38.24 €
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists Scott M. Lynch / Boek Gebonden (paperback)
common.buy 120.60 €
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Boek Gebonden (paperback)
common.buy 56.91 €
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Boek Gebonden (harde band)
common.buy 183.17 €
Play and Playwork: 101 Stories of Children Playing Fraser Brown / Boek Gebonden (paperback)
common.buy 39.86 €
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Boek Gebonden (harde band)
common.buy 81.64 €
Anthropology and the Bushman Alan Barnard / Boek Gebonden (paperback)
common.buy 49.14 €
Acidic Pit Lakes Walter Geller / Boek Gebonden (harde band)
common.buy 154.01 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?