Elsőrendű tételbizonyító Łukasiewicz n-értékű logikájában

Elmentve itt :
Bibliográfiai részletek
Szerző: Huszár Jolán
További közreműködők: Tóth Péter (Témavezető)
Dokumentumtípus: Szakdolgozat
Megjelent: 1979
Tárgyszavak:
Online Access:http://diploma.bibl.u-szeged.hu/3722
LEADER 00557nta a2200157 i 4500
001 dipl3722
005 20130314073023.0
008 101013s1979 hu om 0|| hun d
040 |a SZTE Diploma Repozitórium  |b hun 
041 |a hun 
100 1 |a Huszár Jolán 
245 1 0 |a Elsőrendű tételbizonyító Łukasiewicz n-értékű logikájában  |h [elektronikus dokumentum] /  |c Jolán Huszár 
260 |c 1979 
650 4 |a Informatika 
700 1 |a Tóth Péter  |e ths 
856 4 0 |u http://diploma.bibl.u-szeged.hu/id/eprint/3722/1/1979_huszar_jolan_79_404.pdf  |z Dokumentum-elérés