Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Automated Deduction - CADE-14

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

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Deduction - CADE-14 William McCune
Libristo-Code: 01566388
Verlag Springer, Berlin, November 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Chaines de Markov sur les Permutations J.-E. Dies / Buch Broschur
common.buy 40.99 €
Road House Rowdy Herrington / Video DVD
common.buy 13.89 €
Sladké mandaly - Omalovánky pro dospělé / Buch Broschur
common.buy 3.69 €
La Decimocuarta ENRIQUE ORTEGO / Buch Broschur
common.buy 24.19 €
Jak neztratit rozum v nerozumné době Petr Nutil / Buch Broschur
common.buy 11.79 €
Englisch für die Berufsreifeprüfung - Hauptmodul Forms and Structures, Workbook Lösungsheft Gabriele Raab / Buch Broschur
common.buy 10.49 €
People-Shooting Haasz Christian / Buch Hardcover
common.buy 19.90 €
Hameau Willia Faulkner / Buch Broschur
common.buy 15.59 €
Gold Advanced Coursebook Sally Burgess / Buch Broschur
common.buy 45.50 €
Gold Advanced Coursebook with Advanced MyLab Pack GOLD / Buch Hardcover
common.buy 67.39 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Deduction - CADE-14
Autor William McCune
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 469
EAN 9783540631040
ISBN 3540631046
Libristo-Code 01566388
Verlag Springer, Berlin
Gewicht 632
Abmessungen 156 x 234 x 24

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Global Theory of Dynamical Systems Z. Nitecki / Buch Broschur
common.buy 68.89 €
Top
World of Warcraft: The Shattering Christie Golden / Buch Broschur
common.buy 9.59 €
Origins of People-to-People Diplomacy, U.S. and Russia, 1917-1957 McFadden / Buch Hardcover
common.buy 79.79 €
Victim Slayer Latoya Roberts / Buch Broschur
common.buy 17.69 €
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 / Buch Broschur
common.buy 29.49 €
Modernism as Memory Kathleen James-Chakraborty / Buch Broschur
common.buy 40.69 €
Moshi Moshi Banana Yoshimoto / Buch Broschur
common.buy 14.29 €
Formalisation of SysML Models and Analysis based on Refinement Lucas Lima / Buch Broschur
common.buy 74.39 €
Pick and Pack's Adventure Gaye Lynn Trusty / Buch Broschur
common.buy 14.89 €
Ohio Medical and Surgical Journal, Volume 6 James Henry Pooley / Buch Hardcover
common.buy 41.59 €
Best of Quinoa Rena Patten / Buch Hardcover
common.buy 28.19 €
Fluid Iron Tony Day / Buch Broschur
common.buy 40.49 €
Capital Accumulation and Women's Labour in Asian Economies Peter Custers / Buch Broschur
common.buy 30.89 €
I Think I Am a Verb Thomas A. Sebeok / Buch Broschur
common.buy 107.29 €
Analysis and Application of Dynamic Patterns within the Context of Complaint Management Martina Müller / Buch Broschur
common.buy 40.09 €
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists Scott M. Lynch / Buch Broschur
common.buy 126.09 €
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Buch Broschur
common.buy 58.99 €
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Buch Hardcover
common.buy 173.69 €
Play and Playwork: 101 Stories of Children Playing Fraser Brown / Buch Broschur
common.buy 39.49 €
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Buch Hardcover
common.buy 84.49 €
Anthropology and the Bushman Alan Barnard / Buch Broschur
common.buy 50.89 €
Acidic Pit Lakes Walter Geller / Buch Hardcover
common.buy 160.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto