Image from Google Jackets

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 / Voronkov, A., Sutcliffe, Geoff.

By: Contributor(s): Material type: TextLanguage: English DDC classification:
  • QA76.63 .L735 2005eb
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)