Tudományterület szerző szerint "Armin, Biere"

Export [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 1.

Folyóiratcikk - Journal article

Kovásznai, Gergely, Andreas, Fröhlich, Armin, Biere, Helmut, Veith (2016) Complexity of Fixed-Size Bit-Vector Logics Theory of Computing Systems. 59 (2). pp. 323-376. ISSN 1432-4350

A lista elkészítésének dátuma Thu Jul 25 03:23:22 2024 CEST.