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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Deduction - CADE-25 Amy P. Felty
Libristo-Code: 09366255
Verlag Springer International Publishing AG, Juli 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... 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

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Buch Broschur
common.buy 18.90 €
Wild Parkour Serge Petrov / Buch Broschur
common.buy 11.99 €
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Buch Broschur
common.buy 7.59 €
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Buch Broschur
common.buy 11.95 €
RHAPSODY TROMPETTE FISHER TULL Drucksachen Noten
common.buy 26.69 €
Ensayos Escogidos Juan Goytisolo / Buch Broschur
common.buy 31.59 €
Geometrie – úhel / Buch Blatt
common.buy 1.29 €
Dévoilement du Complot Serge Monast / Buch Broschur
common.buy 18.59 €
Tacite Et Les Sources Des Annales: Enquetes Sur La Methode Historique O. Devillers / Buch Broschur
common.buy 117.89 €
La Selva = The Jungle Clive Cussler / Buch Broschur
common.buy 12.29 €
Dankbarkeit macht glücklich Ursula Richard / Buch Broschur
common.buy 9.80 €
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Buch Hardcover
common.buy 15.19 €
Ducasse Desserts Alain Ducasse / Buch Hardcover
common.buy 28.00 €
Christliches Familienstellen Paul Imhof / Buch Broschur
common.buy 28.00 €
Doerchlauchting Fritz Reuter / Buch Broschur
common.buy 14.90 €

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.§§The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.§

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-25
Autor Amy P. Felty, Aart Middeldorp
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 640
EAN 9783319214009
ISBN 3319214004
Libristo-Code 09366255
Verlag Springer International Publishing AG
Gewicht 9942
Abmessungen 155 x 235 x 33

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computing & IT: Benutzerhandbücher > Internet Guides und Onlinedienste > Internetrecherche, Suchmaschinen
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Mustererkennung
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Sehen, Bildverstehen
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Datenbanken > Informationsrückgewinnung, Information Retrieval
EDV und Informationstechnologie > Informatik > Bildverarbeitung
EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen
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

Little Jay Goes Fishing Fay Macaron / Buch Broschur
common.buy 14.89 €
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Buch Hardcover
common.buy 43.39 €
Sermons for the Use of Families. by William Enfield William Enfield / Buch Hardcover
common.buy 34.79 €
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Buch Broschur
common.buy 17.19 €
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Buch Broschur
common.buy 15.39 €
Medical Assistants Are Fabulous And Magical Like Unicorns Only Better: 120 Pages I 6x9 I Graph Paper 4x4 I Funny Nurse, Doctor & Hospital Gifts I Unic Funny Notebooks / Buch Broschur
common.buy 8.89 €
New Edition Basic Survival Student Book Peter Viney / Buch Broschur
common.buy 23.79 €
Battles with the Sea Robert Michael Ballantyne / Buch Broschur
common.buy 19.99 €
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Buch Broschur
common.buy 20.49 €
One Night Out Stealing Alan Duff / E-Book Adobe ePub DRM
common.buy 10.89 €
Out to Old Aunt Mary's Howard Chandler Christy / Buch Hardcover
common.buy 30.79 €
Opcit at Large John Barr / Buch Broschur
common.buy 14.49 €
History of Illinois: From Its Commencement as a State in 1814 to 1847: Containing a Full Account of the Black Hawk War, the Rise, Progress, Ford Thomas Ford / Buch Broschur
common.buy 25.79 €
The Resilient Culture Silke Rupprecht / Buch Broschur
common.buy 26.59 €
Dio C'e Romeo Mannarino / Buch Hardcover
common.buy 27.89 €
Bread of Heaven Athena M Hodges / Buch Broschur
common.buy 16.49 €
Michael Aaron Piano Course Lessons Michael Aaron / Buch Broschur
common.buy 10.69 €
Campside Guide to Dutch Oven Cooking Paul Kautz / Buch Broschur
common.buy 16.49 €
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Buch Broschur
common.buy 12.19 €
Demnächst
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Buch Broschur
common.buy 16.89 €
Traditional Livestock Production Carlos Palacios Riocerzo / Buch Hardcover
common.buy 182.19 €
Top
Like a Power Play / Buch Broschur
common.buy 20.09 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?