Kripke szemantikával megadható logikák alkalmazásai a számítástudományban
Elmentve itt :
| Szerző: | |
|---|---|
| További közreműködők: | |
| Dokumentumtípus: | Szakdolgozat |
| Megjelent: |
1977
|
| Tárgyszavak: | |
| Online Access: | http://diploma.bibl.u-szeged.hu/3922 |
| LEADER | 00564nta a2200157 i 4500 | ||
|---|---|---|---|
| 001 | dipl3922 | ||
| 005 | 20130314073139.0 | ||
| 008 | 101221s1977 hu om 0|| zxx d | ||
| 040 | |a SZTE Diploma Repozitórium |b hun | ||
| 041 | |a zxx | ||
| 100 | 1 | |a Tóth Károly | |
| 245 | 1 | 0 | |a Kripke szemantikával megadható logikák alkalmazásai a számítástudományban |h [elektronikus dokumentum] / |c Károly Tóth |
| 260 | |c 1977 | ||
| 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/3922/1/1977_toth_karoly_160.pdf |z Dokumentum-elérés |