Automated Deduction - CADE-25

Name: Automated Deduction - CADE-25
Brand: Springer International Publishing, Springer-Verlag GmbH
SKU: 68127521
Price: 89.99 EUR
Availability: InStock
ISBN: 3319214004

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Sprache: Englisch)

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Automated Deduction - CADE-25".

Kommentar verfassen

Merken

Mehr zum Inhalt Video Inhaltsverzeichnis

lieferbar

versandkostenfrei

Bestellnummer: 68127521

Buch 89.99 €

In den Warenkorb

Kauf auf Rechnung
Kostenlose Rücksendung
Ratenzahlung möglich

lieferbar

versandkostenfrei

Bestellnummer: 68127521

Buch 89.99 €

In den Warenkorb

Mehr zum Inhalt Video Inhaltsverzeichnis

Andere Kunden interessierten sich auch für

-5%

Bd. 9195

Automated Deduction - CADE-25 / Lecture Notes in Computer Science Bd.9195

0 Sterne

eBook

Statt 89.99 € 19

85.59 €

Download bestellen

Erschienen am 30.07.2015

sofort als Download lieferbar

Diagrammatic Representation and Inference

0 Sterne

Buch

106.99 €

In den Warenkorb

Erschienen am 17.05.2018

lieferbar

Artificial Intelligence: Theories, Models and Applications

0 Sterne

Buch

74.99 €

In den Warenkorb

Erschienen am 16.05.2012

lieferbar

Advanced Intelligent Computing Theories and Applications

0 Sterne

Buch

106.99 €

In den Warenkorb

Erschienen am 22.09.2015

lieferbar

Argumentation in Multi-Agent Systems

0 Sterne

Buch

69.99 €

In den Warenkorb

Erschienen am 06.09.2012

lieferbar

Person Re-Identification

0 Sterne

Buch

139.99 €

In den Warenkorb

Erschienen am 31.01.2014

lieferbar

Pattern Recognition

0 Sterne

Buch

74.99 €

In den Warenkorb

Erschienen am 19.08.2011

lieferbar

Similarity-Based Pattern Recognition

0 Sterne

Buch

64.19 €

In den Warenkorb

Erschienen am 21.09.2011

lieferbar

Video Analytics for Audience Measurement

0 Sterne

Buch

59.99 €

In den Warenkorb

Erschienen am 14.12.2014

lieferbar

Machine Learning in Medical Imaging

0 Sterne

Buch

69.99 €

In den Warenkorb

Erschienen am 13.09.2011

lieferbar

Computer Vision - ECCV 2014 Workshops

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 14.05.2015

lieferbar

Partially Supervised Learning

0 Sterne

Buch

53.49 €

In den Warenkorb

Erschienen am 14.02.2012

lieferbar

Rough Sets and Knowledge Technology

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 25.11.2014

lieferbar

Rough-Neural Computing

0 Sterne

Buch

213.99 €

In den Warenkorb

Erschienen am 22.09.2003

lieferbar

Articulated Motion and Deformable Objects

0 Sterne

Buch

53.49 €

In den Warenkorb

Erschienen am 17.06.2018

lieferbar

Biomimetic and Biohybrid Systems

0 Sterne

Buch

74.99 €

In den Warenkorb

Erschienen am 28.06.2012

lieferbar

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction

0 Sterne

Buch

59.99 €

In den Warenkorb

Erschienen am 14.02.2015

lieferbar

Intelligent Computing Theories and Methodologies

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 22.09.2015

lieferbar

Intelligent Computing Technology

0 Sterne

Buch

89.99 €

In den Warenkorb

Erschienen am 26.07.2012

lieferbar

Produktdetails

Produktbeschreibung
Inhaltsverzeichnis
Video
Biblio. Angaben / Produktdetails

Produktinformationen zu „Automated Deduction - CADE-25 “

Klappentext zu „Automated Deduction - CADE-25 “

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.

Inhaltsverzeichnis zu „Automated Deduction - CADE-25 “

Automated deduction.- Foundations.- Applications.- Implementations.- Practical experience.

Bibliographische Angaben

2015, XII, 640 Seiten, 93 Schwarz-Weiß-Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
Verlag: Springer International Publishing
ISBN-10: 3319214004
ISBN-13: 9783319214009
Erscheinungsdatum: 14.09.2015

Sprache:

Englisch

Kommentar zu "Automated Deduction - CADE-25"

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Automated Deduction - CADE-25".

Kommentar verfassen

Andere Kunden kauften auch

Diagrammatic Representation and Inference

0 Sterne

Buch

106.99 €

In den Warenkorb

Erschienen am 17.05.2018

lieferbar

Artificial Intelligence: Theories, Models and Applications

0 Sterne

Buch

74.99 €

In den Warenkorb

Erschienen am 16.05.2012

lieferbar

Advanced Intelligent Computing Theories and Applications

0 Sterne

Buch

106.99 €

In den Warenkorb

Erschienen am 22.09.2015

lieferbar

Argumentation in Multi-Agent Systems

0 Sterne

Buch

69.99 €

In den Warenkorb

Erschienen am 06.09.2012

lieferbar

Person Re-Identification

0 Sterne

Buch

139.99 €

In den Warenkorb

Erschienen am 31.01.2014

lieferbar

Pattern Recognition

0 Sterne

Buch

74.99 €

In den Warenkorb

Erschienen am 19.08.2011

lieferbar

Similarity-Based Pattern Recognition

0 Sterne

Buch

64.19 €

In den Warenkorb

Erschienen am 21.09.2011

lieferbar

Video Analytics for Audience Measurement

0 Sterne

Buch

59.99 €

In den Warenkorb

Erschienen am 14.12.2014

lieferbar

Machine Learning in Medical Imaging

0 Sterne

Buch

69.99 €

In den Warenkorb

Erschienen am 13.09.2011

lieferbar

Computer Vision - ECCV 2014 Workshops

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 14.05.2015

lieferbar

Partially Supervised Learning

0 Sterne

Buch

53.49 €

In den Warenkorb

Erschienen am 14.02.2012

lieferbar

Rough Sets and Knowledge Technology

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 25.11.2014

lieferbar

Rough-Neural Computing

0 Sterne

Buch

213.99 €

In den Warenkorb

Erschienen am 22.09.2003

lieferbar

Articulated Motion and Deformable Objects

0 Sterne

Buch

53.49 €

In den Warenkorb

Erschienen am 17.06.2018

lieferbar

Biomimetic and Biohybrid Systems

0 Sterne

Buch

74.99 €

In den Warenkorb

Erschienen am 28.06.2012

lieferbar

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction

0 Sterne

Buch

59.99 €

In den Warenkorb

Erschienen am 14.02.2015

lieferbar

Intelligent Computing Theories and Methodologies

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 22.09.2015

lieferbar

Intelligent Computing Technology

0 Sterne

Buch

89.99 €

In den Warenkorb

Erschienen am 26.07.2012

lieferbar

Weitere Empfehlungen zu „Automated Deduction - CADE-25 “