Planning and Proof Planning

E. Melis, Alan Bundy

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Publication statusPublished - 1996
EventECAI-96 Workshop on Cross-Fertilization in Planning - Budapest, Hungary
Duration: 13 Aug 1996 → …

Conference

ConferenceECAI-96 Workshop on Cross-Fertilization in Planning
CountryHungary
CityBudapest
Period13/08/96 → …

Cite this