[Lecture Notes in Computer Science] Arti
โ
Calmet, Jacques; Ida, Tetsuo; Wang, Dongming
๐
Article
๐
2006
๐
Springer Berlin Heidelberg
๐
German
โ 608 KB
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 Comput