Vályi Sándor: About the axiomatization of first- and second-order spatio-temporal logics : [abstract].
Preview |
Cikk, tanulmány, mű
cscs_2000_102.pdf Download (55kB) | Preview |
| Item Type: | Conference or Workshop Item |
|---|---|
| Journal or Publication Title: | Conference of PhD Students in Computer Science |
| Date: | 2000 |
| Volume: | 2 |
| Page Range: | p. 102 |
| Language: | English |
| Publisher: | University of Szeged |
| Place of Publication: | Szeged |
| Event Title: | Conference of PhD students in computer science (2.) |
| Event Type: | Conference |
| Event Location: | Szeged |
| Event Dates: | 2000. július 20-23. |
| Related URLs: | http://acta.bibl.u-szeged.hu/59487/ |
| Uncontrolled Keywords: | Számítástechnika - előadáskivonat, Logika - előadáskivonat |
| Additional Information: | Bibliogr.: 102. p. |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences |
| Date Deposited: | 2019. Oct. 07. 12:02 |
| Last Modified: | 2023. Jun. 19. 14:01 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/59635 |
Actions (login required)
 |
View Item |
