Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

The automatic validation tool for PDDL2.1

Howey, R. and Long, D. (2003) The automatic validation tool for PDDL2.1. In: 10th Workshop on Automated Reasoning, 2003-04-15 - 2003-04-16, Liverpool.

PDF (strathprints002719.pdf)
Download (26Kb) | Preview
    Item type: Conference or Workshop Item (Paper)
    ID code: 2719
    Keywords: Electronic computers. Computer science
    Subjects: Science > Mathematics > Electronic computers. Computer science
    Department: Faculty of Science > Computer and Information Sciences
    Related URLs:
      Depositing user: Strathprints Administrator
      Date Deposited: 23 Mar 2007
      Last modified: 12 Jan 2014 17:38

      Actions (login required)

      View Item

      Fulltext Downloads: