| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava
Prva stran > Izpis gradiva

Izpis gradiva Pomoč

Naslov:Uporaba predikatnega računa za izgradnjo dokazovalnika izrekov : diplomsko delo visokošolskega študija
Avtorji:ID Šajtegel, Valerija (Avtor)
ID Stiglic, Bruno (Mentor) Več o mentorju... Novo okno
ID Welzer-Družovec, Tatjana (Komentor)
Datoteke: Gradivo nima datotek. Gradivo je morda fizično dosegljivo v knjižnici fakultete, zalogo lahko preverite v COBISS-u. Povezava se odpre v novem oknu
Jezik:Slovenski jezik
Vrsta gradiva:Diplomsko delo
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Ključne besede:predikatni račun, dokazovanje teoremov, resolucija, umetna inteligenca
Kraj izida:Maribor
Založnik:[V. Šajtegel]
Leto izida:1997
PID:20.500.12556/DKUM-4493 Novo okno
UDK:007.52:510.63
COBISS.SI-ID:3343894 Novo okno
NUK URN:URN:SI:UM:DK:XSFWLH9Y
Datum objave v DKUM:26.07.2007
Število ogledov:2301
Število prenosov:0
Metapodatki:XML DC-XML DC-RDF
Področja:KTFMB - FERI
:
ŠAJTEGEL, Valerija, 1997, Uporaba predikatnega računa za izgradnjo dokazovalnika izrekov : diplomsko delo visokošolskega študija [na spletu]. Diplomsko delo. Maribor : V. Šajtegel. [Dostopano 18 april 2025]. Pridobljeno s: https://dk.um.si/IzpisGradiva.php?lang=slv&id=4493
Kopiraj citat
  
Skupna ocena:
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share


Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici