Publications

Institute of Theoretical Physics · Faculty of Mathematics and Physics, Charles University

← Back to the list

Thesis

Resolution method in the predicate calculus of the first order and its application in artificial intelligence

Doležel, Tomáš

Master's thesis, Engineer’s thesis, Institute of Computer Science, Technical University Brno, Faculty of Electrical Engineering (1992)

Institute authors

BibTeX

@mastersthesis{UTF28,
  author        = {Doležel, Tomáš},
  title         = {{Resolution method in the predicate calculus of the first order and its application in artificial intelligence}},
  school        = {Engineer’s thesis, Institute of Computer Science, Technical University Brno, Faculty of Electrical Engineering},
  year          = {1992},
  month         = {6},
}