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
Depositing user: Strathprints Administrator
Date Deposited: 23 Mar 2007
Last modified: 12 Dec 2015 18:16

Actions (login required)

View Item View Item