eBooks und Zeitschriften im Bereich Technik um 50% reduziert, jetzt zugreifen!

Lecture Notes in Artificial Intelligence

Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Herausgeber: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (Eds.)

Dieses Buch kaufen

eBook 47,59 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-20615-8
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 59,92 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-20614-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

Inhaltsverzeichnis (27 Kapitel)

  • Mining the Archive of Formal Proofs

    Blanchette, Jasmin Christian (et al.)

    Seiten 3-17

  • Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval

    Zanibbi, Richard (et al.)

    Seiten 18-36

  • Towards Formal Fault Tree Analysis Using Theorem Proving

    Ahmad, Waqar (et al.)

    Seiten 39-54

  • Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

    Cruz-Filipe, Luís (et al.)

    Seiten 55-70

  • A First Class Boolean Sort in First-Order Theorem Proving and TPTP

    Kotelnikov, Evgenii (et al.)

    Seiten 71-86

Dieses Buch kaufen

eBook 47,59 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-20615-8
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 59,92 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-20614-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Intelligent Computer Mathematics
Buchuntertitel
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Herausgeber
  • Manfred Kerber
  • Jacques Carette
  • Cezary Kaliszyk
  • Florian Rabe
  • Volker Sorge
Titel der Buchreihe
Lecture Notes in Artificial Intelligence
Buchreihen Band
9150
Copyright
2015
Verlag
Springer International Publishing
Copyright Inhaber
Springer International Publishing Switzerland
eBook ISBN
978-3-319-20615-8
DOI
10.1007/978-3-319-20615-8
Softcover ISBN
978-3-319-20614-1
Auflage
1
Seitenzahl
XXI, 359
Anzahl der Bilder und Tabellen
84 schwarz-weiß Abbildungen
Themen