Automated Reasoning : Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, P.R. China, 13-16 July 1992

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, China
Άλλοι συγγραφείς:	Shi, Zhongzhi (Επιμελητής έκδοσης)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Amsterdam : North-Holland, 1992.
Σειρά:	IFIP transactions. Computer science and technology ; A-19 ; A
Θέματα:	Automatic theorem proving > Congresses. Artificial intelligence > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC


LEADER	00000cam a2200000 i 4500
001	1/50860
008	950922s1992 ne \|\|\| \| eng\|\|
020			\|a 044489876X
035			\|a 1995 \|c ΔΑΡΖΕΝΤΑΣ \|l 10043987
040			\|a GR-MyUA \|b gre \|e AACR2
041	0		\|a eng
082	0		\|a 006.3
111	2		\|a IFIP TC12/WG12.3 International Workshop on Automated Reasoning \|d (1992 : \|c Beijing, China)
245	1	0	\|a Automated Reasoning : \|b Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, P.R. China, 13-16 July 1992 / \|c Edited by Z. Shi.
260			\|a Amsterdam : \|b North-Holland, \|c 1992.
300			\|a 341 σ. ; \|c 23 εκ.
490	1		\|a (IFIP transactions \|v ; A-19)
650	0	0	\|a Automatic theorem proving \|x Congresses.
650	0	0	\|a Artificial intelligence \|x Congresses.
700	1		\|a Shi, Zhongzhi, \|e edt
830		0	\|a IFIP transactions. \|n A, \|p Computer science and technology ; \|v A-19 ; A
852			\|a INST \|b SAMOS \|e 19950922 \|h 006.3 IFI \|p 005300004872 \|q 005300004872 \|t BK \|y 0
909			\|a Σ \|b 040784