Multi-Hyper Tableaux in Automated Theorem Proving (Multi-hipertabló az automatikus tételbizonyí tásban) (bibtex)
by Gergely Kovásznai
Reference:
Multi-Hyper Tableaux in Automated Theorem Proving (Multi-hipertabló az automatikus tételbizonyí tásban)Gergely Kovásznai2007, PhD thesis, University of Debrecen.
Bibtex Entry:
@phdthesis{KovasznaiPHD2007,
  author    = {Gergely Kov\'asznai},
  title     = {Multi-Hyper Tableaux in Automated Theorem Proving (Multi-hipertabl\'o az automatikus t\'etelbizony\'\i t\'asban)},
  year      = {2007},
  school    = {University of Debrecen},
  language  = {Hungarian},
  URL       = {http://hdl.handle.net/2437/90518}
}
Powered by bibtexbrowser