Welcome to IOU Digital Library

A peer-reviewed proceedings volume comprising research papers presented at the 7th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2004). The book includes contributions on automated reasoning, symbolic computation, logical methods, computer algebra, and their intersections — offering advances in AI techniques that leverage symbolic computation for logic, theorem proving, and algorithmic reasoning.

no reviews

245: $a: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22–24, 2004 — Proceedings
245: $b:
082: $a:
100: $a: Bruno Buchberger & John A. Campbell (Editors)
650: $a: Artificial intelligence
250: $a:
440: $v:
250: $b: Springer
250: $c: 2005
020: $a: 978-3-540-23212-6
300: $a: 312