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

1.

001-es BibID:bibEBI00023773
035-os BibID:(dekdb)bibKLT00089321
Első szerző:Dragalin, Albert Grigor'evič (matematikus)
Cím:Logikai oktatóprogramok az automatikus tételbizonyításban : (a mesterséges intelligencia kurzus számára) / készítette Dragálin Albert, Aszalós László, Vályi Sándor ; [közread. a] Kossuth Lajos Tudományegyetem Természettudományi Kar
Dátum:1995
Megjelenés:[Debrecen] : Kossuth Lajos Tudományegyetem, 1995
Terjedelem:40 p.
Megjegyzések:Egyetemi jegyzet
Bibliogr.: p. 36.
Tárgyszavak:Természettudományok Matematika- és számítástudományok tankönyv
Bizonyításelmélet
Mesterséges intelligencia
Számítógép szoftver
További szerzők:Aszalós László (1969-) (matematikus) Vályi Sándor (1968-) (matematikus, informatikus) Kossuth Lajos Tudományegyetem (Debrecen). Természettudományi Kar
Borító:
Rekordok letöltése1