Lecture Notes in Artificial Intelligence

Intelligent Computer Mathematics

10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Editors: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A. (Eds.)

  • Up-to-date results

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-642-14128-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-642-14127-0
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (38 chapters)

  • The Challenges of Multivalued “Functions”

    Davenport, James H.

    Pages 1-12

    Preview Buy Chapter 30,19 €
  • The Dynamic Dictionary of Mathematical Functions

    Salvy, Bruno

    Pages 13-13

    Preview Buy Chapter 30,19 €
  • A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

    Calmet, Jacques (et al.)

    Pages 14-18

    Preview Buy Chapter 30,19 €
  • I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness

    Bensaid, Hicham (et al.)

    Pages 19-33

    Preview Buy Chapter 30,19 €
  • Structured Formal Development with Quotient Types in Isabelle/HOL

    Bortin, Maksym (et al.)

    Pages 34-48

    Preview Buy Chapter 30,19 €

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-642-14128-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-642-14127-0
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Intelligent Computer Mathematics
Book Subtitle
10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Editors
  • Serge Autexier
  • Jacques Calmet
  • David Delahaye
  • P.D.F. Ion
  • Laurence Rideau
  • Renaud Rioboo
  • Alan Sexton
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
6167
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-14128-7
DOI
10.1007/978-3-642-14128-7
Softcover ISBN
978-3-642-14127-0
Edition Number
1
Number of Pages
XV, 471
Number of Illustrations and Tables
71 b/w illustrations
Topics