Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 4 of 4 matches in All Departments
Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.
This book constitutes the refereed proceedings of the Third
International Conference on Artificial Intelligence and Symbolic
Mathematical Computation, AISMC-3, held in Steyr, Austria, in
September 1996.
|
You may like...
Heart Of A Strong Woman - From Daveyton…
Xoliswa Nduneni-Ngema, Fred Khumalo
Paperback
Herontdek Jou Selfvertroue - Sewe Stappe…
Rolene Strauss
Paperback
(1)
Women In Solitary - Inside The Female…
Shanthini Naidoo
Paperback
(1)
|