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.

[img]
Preview
PDF (strathprints002719.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: 23 Jul 2015 13:01
URI: http://strathprints.strath.ac.uk/id/eprint/2719

Actions (login required)

View Item View Item