Properties vs. Resources: Solving Simple Frame Problems

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Properties vs. Resources: Solving Simple Frame Problems

Steffen HölldoblerSteffen Hölldobler,  Michael ThielscherMichael Thielscher
Properties vs. Resources: Solving Simple Frame Problems


Steffen Hölldobler, Michael Thielscher
Properties vs. Resources: Solving Simple Frame Problems
Technical Report, Intellektik, Informatik, TH Darmstadt, volume AIDA-96-03, 1996. Technischer Report
@techreport{HT1996,
  author      = {Steffen H{\"{o}}lldobler and Michael Thielscher},
  title       = {Properties vs. Resources: Solving Simple Frame Problems},
  institution = {Intellektik, Informatik, {TH} Darmstadt},
  year        = {1996}
}