Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

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 $99.00
price for USA
  • 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 $129.00
price for USA
  • ISBN 978-3-642-14127-0
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (38 chapters)

  • The Challenges of Multivalued “Functions”

    Davenport, James H.

    Pages 1-12

  • The Dynamic Dictionary of Mathematical Functions

    Salvy, Bruno

    Pages 13-13

  • A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

    Calmet, Jacques (et al.)

    Pages 14-18

  • I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness

    Bensaid, Hicham (et al.)

    Pages 19-33

  • Structured Formal Development with Quotient Types in Isabelle/HOL

    Bortin, Maksym (et al.)

    Pages 34-48

Buy this book

eBook $99.00
price for USA
  • 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 $129.00
price for USA
  • ISBN 978-3-642-14127-0
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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