A Finitary System for First Order Logic

Kai BrünnlerKai Brünnler, Alessio GuglielmiAlessio Guglielmi

Download

Kai Brünnler, Alessio Guglielmi
A Finitary System for First Order Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-09, 2003

Details
Bibtex

Bemerkung: Note: Submitted
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{BG2003,
  author      = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
  title       = {A Finitary System for First Order Logic},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2003}
}