Tudományterület szerző szerint "Mlinkó, Péter"

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, Kiss, Dorina Hedvig, Mlinkó, Péter (2023) Formal verification for quantized neural networks Annales Mathematicae et Informaticae. 57. pp. 36-48. ISSN 1787-6117 (Online)

A lista elkészítésének dátuma Tue Mar 5 10:52:23 2024 CET.