Automated reasoning about actions

Show full record

Title: Automated reasoning about actions
Author: Lee, Joohyung
Abstract: Not available
Department: Computer Sciences
Subject: Automatic theorem proving Logic programming languages Nonmonotonic reasoning
URI: http://hdl.handle.net/2152/1782
Date: 2005

Files in this work

Download File: leej51235.pdf
Size: 889.1Kb
Format: application/pdf

This work appears in the following Collection(s)

Show full record


Advanced Search

Browse

My Account

Statistics

Information