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

1.

001-es BibID:BIBFORM032210
Első szerző:Nagyné Kondor Rita (matematikus)
Cím:Automatic theorem checking [elektronikus dokumentum] / Rita Kondor Nagyné
Dátum:2011
Megjegyzések:A szerzők által megadott adatok automatikusan feltöltve
Tárgyszavak:Természettudományok Matematika- és számítástudományok tanulmány, értekezés
Megjelenés:Matematikát, Fizikát és Informatikát Oktatók XXXV. Konferenciája [elektronikus dokumentum] : konferencia DVD. - p. 1-5.
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.