Artificial intelligence and symbolic computation 8th international conference aisc 2006 beijing china september 20 22 2006 proceedings calmet jaques ida . Artificial intelligence and symbolic computation 8th international conference aisc 2006 beijing china september 20 22 2006 proceedings editors calmet jaques . Artificial intelligence and symbolic computation 8th international conference aisc 2006 beijing china september 20 22 2006 proceedings editors view affiliations jacques calmet tetsuo ida dongming wang conference proceedings aisc 2006 96 citations 7 mentions 75k downloads part of the lecture notes in computer science book series lncs volume 4120 also part of the lecture notes . This book constitutes the refereed proceedings of the 8th international conference on artificial intelligence and symbolic computation aisc 2006 held in beijing china in september 2006 the 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions based on heuristics and mathematical algorithmics artificial intelligence and . Stanford libraries official online search tool for books media journals databases government documents and more