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

1.

001-es BibID:BIBFORM042988
Első szerző:Pásztor-Varga Katalin
Cím:Usability of some theorem proving systems / Katalin Pásztor-Varga, Magda Várterész
Dátum:2004
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
logic
theorem proving
Megjelenés:Pure Mathematics and Applications. - 15 : 2-3 (2004), p. 273-284. -
További szerzők:Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:Szerző által megadott URL
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.