Integrating Symbolic Mathematical Computation and Artificial Intelligence

Integrating Symbolic Mathematical Computation and Artificial Intelligence
Author :
Publisher : Springer Science & Business Media
Total Pages : 72
Release :
ISBN-10 : 3540601562
ISBN-13 : 9783540601562
Rating : 4/5 (62 Downloads)

Book Synopsis Integrating Symbolic Mathematical Computation and Artificial Intelligence by : Jacques Calmet

Download or read book Integrating Symbolic Mathematical Computation and Artificial Intelligence written by Jacques Calmet and published by Springer Science & Business Media. This book was released on 1995-08-10 with total page 72 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.


Integrating Symbolic Mathematical Computation and Artificial Intelligence Related Books

Integrating Symbolic Mathematical Computation and Artificial Intelligence
Language: en
Pages: 72
Authors: Jacques Calmet
Categories: Computers
Type: BOOK - Published: 1995-08-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympoli
Artificial Intelligence and Symbolic Mathematical Computing
Language: en
Pages: 324
Authors: Jacques Calmet
Categories: Computers
Type: BOOK - Published: 1993-10-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference,
Symbolic and Numerical Computation for Artificial Intelligence
Language: en
Pages: 392
Authors: Bruce R. Donald
Categories: Computers
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and ar
Symbolic Computation and Automated Reasoning
Language: en
Pages: 283
Authors: Manfred Kerber
Categories: Mathematics
Type: BOOK - Published: 2001-04-02 - Publisher: CRC Press

DOWNLOAD EBOOK

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becomin
MICAI 2004: Advances in Artificial Intelligence
Language: en
Pages: 941
Authors: Raúl Monroy
Categories: Computers
Type: BOOK - Published: 2004-04-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third Mexican International Conference on Artificial Intelligence, MICAI 2004, held in Mexico City, Mexico