Empirical Investigations on Combining Resolution and Tableaux (bibtex)
by Gergely Kovásznai, Gábor Kusper
Reference:
Empirical Investigations on Combining Resolution and TableauxGergely Kovásznai, Gábor KusperProceedings of the 8th International Conference on Applied Informatics (ICAI 2010), pages 115-226, 27-30 Januar 2010.
Bibtex Entry:
@inproceedings{KovasznaiKusperICAI2010,
  author    = {Gergely Kov\'asznai and G\'abor Kusper},
  title     = {Empirical Investigations on Combining Resolution and Tableaux},
  booktitle = {Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010)},
  address   = {Eger, Hungary},
  year      = {2010},
  month     = {27-30 Januar},
  volume    = {1},
  pages     = {115-226},
  URL       = {http://icai.ektf.hu/proceedings.php?p=2010}
}
Powered by bibtexbrowser