Lecture Notes in Artificial Intelligence

Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Editors: Calmet, Jaques, Ida, Tetsuo, Wang, Dongming (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-39730-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-39728-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Interactive Mathematical Documents

    Cohen, Arjeh M.

    Pages 1-1

  • Algebra and Geometry

    Hironaka, Heisuke

    Pages 2-2

  • An Inductive Inference System and Its Rationality

    Li, Wei

    Pages 3-17

  • Semantic Guidance for Saturation Provers

    McCune, William

    Pages 18-24

  • Labeled @-Calculus: Formalism for Time-Concerned Human Factors

    Mizutani, Tetsuya (et al.)

    Pages 25-39

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-39730-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-39728-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Artificial Intelligence and Symbolic Computation
Book Subtitle
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Editors
  • Jaques Calmet
  • Tetsuo Ida
  • Dongming Wang
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
4120
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39730-4
DOI
10.1007/11856290
Softcover ISBN
978-3-540-39728-1
Edition Number
1
Number of Pages
XIII, 269
Topics