| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font
First page > Search the digital library catalog

Search the digital library catalog Help

Query: search in
search in
search in
search in
* old and bologna study programme

Options:
  Reset


1 - 1 / 1
First pagePrevious page1Next pageLast page
1.
Uporaba predikatnega računa za izgradnjo dokazovalnika izrekov : diplomsko delo visokošolskega študija
Valerija Šajtegel, 1997, undergraduate thesis

Keywords: predikatni račun, dokazovanje teoremov, resolucija, umetna inteligenca
Published: 26.07.2007; Views: 1594; Downloads: 0
Search done in 0.02 sec.
Back to top
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica