Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)

★★★★☆ 4.0 142 Bewertungen
€19.18
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe
Verkauft und versendet von www.agenciacoranto.com.ar
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€19.18
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe
Wie möchten Sie Ihren Artikel erhalten?
Die ersten 30 Tage sind kostenlos! Wählen Sie den Tarif an der Kasse.
Versand
Ankunft 27.10.
Kostenlos
Abholung
In der Nähe prüfen
Lieferung
Nicht verfügbar
Verkauft und versendet von www.agenciacoranto.com.ar
30 Tage kostenlose Rückgabe Details

Produktdetails

Artikelnummer 233299722 Erscheinungsdatum 2026/06/27 Listenpreis €19.18 Modellnummer 233299722
Kategorie
  1. Books
  2. Computers & Technology
  3. Computer Science
  4. AI & Machine Learning
  5. Intelligence & Semantics

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. Read more

ISBN10 3319214004
ISBN13 978-3319214009
Edition 1st ed. 2015
Language English
Publisher Springer
Dimensions 6.1 x 1.51 x 9.25 inches
Item Weight 21.9 pounds
Print length 668 pages
Publication date July 30, 2015

Korrektur der Produktinformationen

Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.

Korrekturanfrage

Kundenbewertungen

4 von 5
★★★★☆
142 Bewertungen | 58 Rezensionen
So wird die Artikelbewertung berechnet
Alle Bewertungen anzeigen
5 Sterne
75% (107)
4 Sterne
8% (11)
3 Sterne
4% (6)
2 Sterne
2% (3)
1 Stern
11% (16)
Sortieren nach

Für dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.