Book123

Science/Engineering Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science) Publisher: SpringerNumber Of Pages: 231Publication Date: 2004-0 ...

Science/Engineering Case-Based Reasoning Technology: From Foundations to Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

===Artificial Intelligence相关链接===[2007/0922][2007/0910][2007/0901][2007/0901][2007/0830]Case-Based Reasoning Technology: From Foundations to Applications (Lecture Notes in Artificial Intelligence) Publisher: Springer-Verlag TelosNumb ...

Technical Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

ISBN: 3540528377 Publisher: Springer Author: Lutz PlümerDescription:Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until n ...

Technical Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

ISBN: 354077355X Publisher: Springer Author: Description:This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/Sep ...

Mathematics Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Author: Publisher: Springer (2004)Binding: Paperback, 493 pagespricer: $99.95ISBN-10: 3540223452editorialreviewsThis book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, ...

Mathematics Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Author: Publisher: Springer (2004)Binding: Paperback, 361 pagespricer: $72.00ISBN-10: 3540229418editorialreviewsThis book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP 2004, he ...