Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
1.
001-es BibID:
BIBFORM008136
Első szerző:
Pásztor Varga Katalin (matematikus)
Cím:
Many-valued Logic, Mappings, ICF Graphs, Normal Forms / Pásztor Varga Katalin, Várterész Magda
Dátum:
2009
Megjegyzések:
The role of (canonical) conjunctive and disjunctive normal forms ((C)CNF, (C)DNF) is very important both in classical and many-valued logic. Normal forms have been proved as fundamental tools in automated theorem proving, in electrical engineering and, in the investigation of the complexity of logical mappings
Tárgyszavak:
Természettudományok
Matematika- és számítástudományok
idegen nyelvű folyóiratközlemény hazai lapban
many-valued logic
normal forms
Megjelenés:
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Section Computatorica. - 31 (2009), p. 185-202. -
További szerzők:
Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:
elektronikus változat
Borító:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.