Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Deduction ? CADE-12

Alan Bundy

Sprache

Englisch

Buch Broschur

Libristo-Code: 12608737

Verlag Springer Berlin Heidelberg, Juni 1994

This volume contains the reviewed papers presented at the 12th International Conference on Automated... Vollständige Beschreibung

Libristo-Code: 12608737

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Aslan Kral Degildir; Kral Olan Aslanlardir sükrullah Dolu

Broschur

11.59 €

La Peste Ecarlate LONDON-J

Broschur

21.99 €

Hecho En Saturno Rita Indiana

Broschur

17.79 €

TRIZ i ARIZ Pawel Astaf'ew

Broschur

33.59 €

Száguldó szerelem Carly Robyn

Hardcover

10.99 €

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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

Autor Alan Bundy

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 872

EAN 9783540581567

ISBN 3540581561

Libristo-Code 12608737

Verlag Springer Berlin Heidelberg

Gewicht 1293

Abmessungen 155 x 235 x 47

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

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