Automatikus tételbizonyítás

Elmentve itt :
Bibliográfiai részletek
Szerző: Győrbíró Norbert
További közreműködők: Fülöp Zoltán (Témavezető)
Dokumentumtípus: Szakdolgozat
Megjelent: 2003
Tárgyszavak:
Online Access:http://diploma.bibl.u-szeged.hu/667
LEADER 00660nta a2200169 i 4500
001 dipl667
005 20130314065937.0
008 110328s2003 hu om 0|| hun d
040 |a SZTE Diploma Repozitórium  |b hun 
041 |a hun 
100 1 |a Győrbíró Norbert 
245 1 0 |a Automatikus tételbizonyítás  |h [elektronikus dokumentum] /  |c Norbert Győrbíró 
260 |c 2003 
650 4 |a Informatika 
700 1 |a Fülöp Zoltán  |e ths 
856 4 0 |u http://diploma.bibl.u-szeged.hu/id/eprint/667/1/2003_gyorbiro_norbert_03_55.pdf  |z Dokumentum-elérés  
856 4 0 |u http://diploma.bibl.u-szeged.hu/id/eprint/667/2/2003_gyorbiro_norbert_03_55_velemeny.pdf  |z Dokumentum-elérés