Amvik eBook Solutions
Read and Download eBook Online Now
Related Books
Language: en
Pages: 355
Pages: 355
Type: BOOK - Published: 2003-08-02 - Publisher: Springer
AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Sy
Language: en
Pages: 355
Pages: 355
Type: BOOK - Published: 2002-06-19 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calcul
Language: en
Pages: 214
Pages: 214
Type: BOOK - Published: 2014-12-08 - Publisher: Springer
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Sevi
Language: en
Pages: 272
Pages: 272
Type: BOOK - Published: 2018-08-27 - Publisher: Springer
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzh
Language: en
Pages: 283
Pages: 283
Type: BOOK - Published: 2001-04-02 - Publisher: CRC Press
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becomin
