Szerző: " Erdélyi Gáspár"

Export [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.

Erdélyi Gáspár: Towards a unified model of computation with correctness proofs : [abstract].

A lista elkészítésének dátuma 2026. március 25. 08:59:35 CET.