About the axiomatization of first- and second-order spatio-temporal logics [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Vályi Sándor
Testületi szerző:	Conference of PhD students in computer science (2.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2000
Sorozat:	Conference of PhD Students in Computer Science 2
Kulcsszavak:	Számítástechnika - előadáskivonat, Logika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59635


LEADER	00897naa a2200205 i 4500
001	acta59635
005	20230619140113.0
008	191007s2000 hu o 1\|\| eng d
040			\|a SZTE Egyetemi Kiadványok Repozitórium \|b hun
041			\|a eng
100	1		\|a Vályi Sándor
245	1	6	\|a About the axiomatization of first- and second-order spatio-temporal logics \|h [elektronikus dokumentum] : \|b [abstract] / \|c Vályi Sándor
260			\|a University of Szeged \|b Szeged \|c 2000
300			\|a 102
490	0		\|a Conference of PhD Students in Computer Science \|v 2
650		4	\|a Természettudományok
650		4	\|a Számítás- és információtudomány
695			\|a Számítástechnika - előadáskivonat, Logika - előadáskivonat
711			\|a Conference of PhD students in computer science (2.) \|c Szeged \|d 2000. július 20-23.
856	4	0	\|u http://acta.bibl.u-szeged.hu/59635/1/cscs_2000_102.pdf \|z Dokumentum-elérés

Hasonló tételek