Preverjanje tautologije z binarnimi odločitvenimi diagrami
Povzetek
Preverjanje tautologije z binarnimi odločitvenimi diagrami
Ključne besede
Ni podatka o ključnih besedah
Podatki
| Jezik: | Slovenski jezik |
|---|---|
| Leto izida: | 1990 |
| Tipologija: | 2.11 - Diplomsko delo |
| Organizacija: | UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko |
| Založnik: | [s.n.] |
| UDK: | 681.3.01+591.72+510.5|.6 |
| COBISS: |
742934
|
| Št. ogledov: | 1517 |
| Š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: | VI, 167 str. |
| ID: | 8715284 |
Priporočena dela:
Preverjanje tautologije z binarnimi odločitvenimi diagrami
1990,
ni podatka o podnaslovu
Representation of Boolean functions with ROBDDs
2000,
ni podatka o podnaslovu
Implementation aspects of a BDD package supporting general decision diagrams
2016,
lecture, presented at Johannes Kepler University Linz Computer Science Building, Linz, 19. September 2016 (2 hours)
Faktorizacija naravnih števil z binarnimi kvadratnimi formami
2018,
magistrsko delo