Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM032389
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:On some nonstandard extensions of Heyting Arithmetic / Péter Battyányi
Dátum:2005
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
Nonstandard arithmetic
constructive mathematics
realizability
Megjelenés:Proceedings of the 6th International Conference on Applied Informatics / ed. by Lajos Csőke. - p. 33-38.
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1