Elsőrendű tételbizonyító Łukasiewicz n-értékű logikájában
Elmentve itt :
Szerző: | |
---|---|
További közreműködők: | |
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 |