| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Show document

Title:Uporaba predikatnega računa za izgradnjo dokazovalnika izrekov : diplomsko delo visokošolskega študija
Authors:Šajtegel, Valerija (Author)
Stiglic, Bruno (Mentor) More about this mentor... New window
Welzer-Družovec, Tatjana (Co-mentor)
Files:This document has no files. This document may have a physical copy in the library of the organization, check the status via COBISS. Link is opened in a new window
Language:Slovenian
Work type:Undergraduate thesis (m5)
Organization:FERI - Faculty of Electrical Engineering and Computer Science
Keywords:predikatni račun, dokazovanje teoremov, resolucija, umetna inteligenca
Year of publishing:1997
Publisher:[V. Šajtegel]
Source:Maribor
UDC:007.52:510.63
COBISS_ID:3343894 Link is opened in a new window
NUK URN:URN:SI:UM:DK:XSFWLH9Y
Views:1450
Downloads:0
Metadata:XML RDF-CHPDL DC-XML DC-RDF
Categories:KTFMB - FERI
:
  
Average score:(0 votes)
Your score:Voting is allowed only for logged in users.
Share:AddThis
AddThis uses cookies that require your consent. Edit consent...

Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.

Comments

Leave comment

You have to log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica