Találati lista | Tudóstér

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ó:
Saját polcon: