Tudományterület szerző szerint "Andreas, Fröhlich"

csoportosítás: Mű típusa | csoportosítás nélkül

Válasszon: Folyóiratcikk - Journal article

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 Sun Dec 22 11:09:17 2024 CET.

Intézményi Publikációk is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

TÁMOP-4.2.1.D-15/1/KONV-2015-0013 Kutatás, Innováció, Együttműködések – Társadalmi innováció és kutatási hálózatok együttműködésének erősítése projekt keretében készült.