Rövidített megjelenítés

dc.creatorVárterész Magdahu_HU
dc.creatorKádek Tamáshu_HU
dc.date2014-04-29hu_HU
dc.date.accessioned2019-11-28T19:29:55Z
dc.date.available2019-11-28T19:29:55Z
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/11956
dc.descriptionA tananyag a TÁMOP-4.1.2.A/1-11/1-2011-0103 azonosítójú pályázat keretében valósulhatott meg.hu_HU
dc.formatapplication/epub+ziphu_HU
dc.formatapplication/pdfhu_HU
dc.languagehuhu_HU
dc.publisherDebreceni Egyetemhu_HU
dc.rightsVárterész Magdahu_HU
dc.rightsKádek Tamáshu_HU
dc.rightsDebreceni Egyetemhu_HU
dc.subjectelőadásokhu_HU
dc.subjectlogikai kalkukusokhu_HU
dc.subjectFrege stílusú kalkulushu_HU
dc.subjectGentzen kalkulusaihu_HU
dc.subjectRezolúciós kalkulushu_HU
dc.titleAutomatikus tételbizonyításhu_HU
dc.typeEgyetemi jegyzethu_HU
dtk.firinformatikahu_HU
dtk.oecd01. Természettudományok::01.01. Matematika::01.01.01. Elméleti és alkalmazott matematikahu_HU
dtk.playerepubreaderhu_HU
dtk.purchaseTÁMOP-4.1.2.A/1-11/1-2011-0103 Debreceni Egyetemhu_HU
dtk.size149 p.hu_HU
dtk.typebookhu_HU
dtk.udc---- FŐTÁBLÁZAT::0 ÁLTALÁNOS TARTALMÚ ÍRÁSMŰVEK. TUDOMÁNY ÉS KULTÚRA. ISMERETEK. SZERVEZETEK. INFORMÁCIÓ. DOKUMENTÁCIÓ. KÖNYVTÁR. INTÉZMÉNYEK. PUBLIKÁCIÓK. KIADVÁNYOK::004 Számítógép-tudomány. Számítástechnika. Adatfeldolgozás::004.01/.08 A számítógép-tudományra, számítástechnikára alkalmazható speciális alosztások::004.02 Problémamegoldó módszerekhu_HU


A dokumentumhoz tartozó fájlok

Thumbnail
Thumbnail
Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés