Projection, a Unification procedure for Tableaux in Conceptual Graphs

Authors
  • G. Kerdiles
Publication date 1997
Host editors
  • D. Galmiche
Book title Automated Reasoning with Analytic Tableaux and Related Methods
Pages (from-to) 216-230
Publisher Springer-Verlag
Organisations
  • Other
Document type Chapter
Note Proceedings of Tableaux '97, Pont a Mousson
Permalink to this page
Back