Dokazovanje izrekov
Povzetek
Dokazovanje izrekov
Ključne besede
umetna inteligenca;izreki;
Podatki
| Jezik: | Slovenski jezik |
|---|---|
| Leto izida: | 1991 |
| Tipologija: | 2.11 - Diplomsko delo |
| Organizacija: | UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko |
| Založnik: | [s.n.] |
| UDK: | 007.52 |
| COBISS: |
858646
|
| Št. ogledov: | 1721 |
| Št. prenosov: | 0 |
| Ocena: | 0 (0 glasov) |
| Metapodatki: |
|
Ostali podatki
| Sekundarni jezik: | Angleški jezik |
|---|---|
| URN: | URN:SI:UM: |
| Vrsta dela (COBISS): | Diplomsko delo |
| Strani: | 80 f. |
| ID: | 8715193 |
Priporočena dela:
Dokazovanje izrekov
1991,
ni podatka o podnaslovu
Uporaba predikatnega računa za izgradnjo dokazovalnika izrekov
1997,
diplomsko delo visokošolskega študija
Nevronske mreže
1991,
ni podatka o podnaslovu
Iskalne strategije pri igranju iger
1991,
ni podatka o podnaslovu
Umetna inteligenca v elektroenergetiki
2020,
ni podatka o podnaslovu