Intervallumokon végzett számítások
Dátum
2009-05-27T09:14:38Z
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Intervallum alapú logika, intervallumokkal végzett műveletek, SAT probléma megoldása intervallumokkal lineáris időben
Leírás
Kulcsszavak
Intervallum, SAT