Application Patterns of Projection/Forgetting

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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}
}