Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Börger, E. 1946- (Egon) (Επιμελητής έκδοσης), Gurevich, Yuri (Επιμελητής έκδοσης), Kleine-Buning, Hans (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Θέματα:	COMPUTER LOGIC IBFI SEMINAR REPORT


LEADER	00890nam a22002413u 4500
001	10103581
003	upatras
005	20210804111025.0
008	991022s eng
040			\|a Βιβλιοθήκη ΕΑΙΤΥ \|c Βιβλιοθήκη ΕΑΙΤΥ
041	0		\|a eng
245	1	0	\|a Computer science logic \|b Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
650		4	\|a COMPUTER LOGIC \|9 119958
650		4	\|a IBFI \|9 119792
650		4	\|a SEMINAR REPORT \|9 119794
700	1		\|a Börger, E. \|d 1946- \|q (Egon), \|4 edt \|9 114935
700	1		\|a Gurevich, Yuri \|4 edt \|9 119851
700	1		\|a Kleine-Buning, Hans \|4 edt \|9 119959
710	2		\|a Internationales Begegnungs-und Forschungszentrum fur Informatik \|4 fnd \|9 119797
852			\|a GR-PaULI \|b ΠΑΤΡΑ \|b ΤΜΗΥΠ \|t 1
942			\|2 ddc
952			\|0 0 \|1 0 \|4 0 \|7 0 \|9 131772 \|a CEID \|b CEID \|d 2016-04-24 \|l 0 \|r 2016-04-24 00:00:00 \|t 1 \|w 2016-04-24
999			\|c 86351 \|d 86351

Παρόμοια τεκμήρια