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 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Model Building

Name: Automated Model Building
Brand: Springer
SKU: 01974967
Price: 181.49 EUR
Availability: InStock
Author: Ricardo Caferra
ISBN: 9789048166961

Ricardo Caferra

Alexander Leitsch

Nicolas Peltier

Sprache

Englisch

Buch Broschur

Libristo-Code: 01974967

Verlag Springer, Dezember 2010

This is the first book on automated model building, a discipline of automated deduction that is of g... Vollständige Beschreibung

Libristo-Code: 01974967

444 b

181.49 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

LE PRINCE DE HOMBOURG (NE) Von kleist heinrich

Broschur

21.29 €

CARTE DES VELOROUTES DE FRANCE ET D'EUROPE Buch

binding.

13.39 €

Deadly Revenge - The Neighbor Kitty Stone

Broschur

20.69 €

Jak byla vosa Marcelka ráda, že je Michal Čunderle

Broschur

11.09 €

Retorno a la Isla Blanca LAURA GALLEGO

Audio CD

13.69 €

Monelle et les baby sitters BRISAC

Broschur

11.19 €

LASSER, LE DETECTIVE DES DIEUX - INTEGRALE 1 Philippe WARD

Hardcover

21.09 €

Gestión de la diversidad y su impacto en el rendimiento de la empresa: un estudio empírico Toro Dupouy

Broschur

103.19 €

Wybrany dla niej. Rodzina Santo. Tom 2 Agnieszka Brückner

Broschur

9.19 €

Destruction Lucifer's Aid Audio

Audio CD

15.79 €

Histoire de Sainte Cecile Vierge Romaine Et Martyre (1853) Prosper Gueranger

Hardcover

57.29 €

Enfermedad Periodontal en Hipertensos Sharon Alexandra Ortiz de Orue Serrano

Broschur

58.09 €

Schleich Falcon, Kunststoff-Figur Schleich®

Spielzeug

12.99 €

Nomenclature Des Voies Publiques Et Privees, Avec La Date Des Actes Officiels Les Concernant PARIS

Broschur

38.39 €

Guía oficial del Parque Natural Sierra de María y los Vélez

Broschur

12.99 €

Allgemeine Naturgeschichte der Schildkroeten Johann Gottlob Schneider

Broschur

43.39 €

Ifrs 9 VICTOR SCHAUER

Broschur

56.59 €

Nanocompositos de Prolipropileno e argila Brandao Da Cunha Bartira

Broschur

58.09 €

Gotthardbahn Gottlieb Koller

Broschur

39.59 €

Die Losungen Peter Zimmerling

Hardcover

22.69 €

Das Tagebuch des Verführers S

Broschur

19.90 €

Die heilende Kraft der Meditation Jon Kabat-Zinn

Broschur

19.90 €

Chr. W. Dohm - Ein Beitrag zur Geschichte der Nationaloekonomie Mordché W. Rappaport

Broschur

30.79 €

weimarische Musenhof 1756-1781 Wilhelm Bode

Broschur

66.79 €

This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. §The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence. It can also be used as a textbook in advanced undergraduate courses.

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 Model Building

Autor Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 341

EAN 9789048166961

ISBN 9048166969

Libristo-Code 01974967

Verlag Springer

Gewicht 551

Abmessungen 155 x 235 x 20

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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