Application Patterns of Projection/Forgetting

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Application Patterns of Projection/Forgetting
Vienna, Austria, Workshop on Interpolation: From Proofs to Applications (iPRA 2014), July 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{W2014,
  author = {Christoph Wernhard},
  title  = {Application Patterns of {Projection/Forgetting}},
  year   = {2014},
  month  = {July}
}