Applications of Automated Reasoning
U. Furbach, and C. Obermaier.
KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings , volume 4314 of Lecture Notes in Computer Science, Springer, (2007)

  • @cschon
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).