English

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

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 2024. április 20. 02:05:13 CEST.

Bielefeld Academic Search Engine

MTMT Minősített Repozitórium

Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok 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.