Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	LPNMR'97
Άλλοι συγγραφείς:	Dix, J. (Jurgen) 1961- (Επιμελητής έκδοσης), Furbach, Ulrich (Επιμελητής έκδοσης), Nerode, Anil, 1932- (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Berlin ; Heidelberg : Springer, c1997
Σειρά:	Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 1265
Θέματα:	Logic programming > Congresses. Nonmonotonic reasoning > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC


LEADER	00000nam a2200000 i 4500
001	1/99117
008	000404s1997 eng d
020			\|a 3540632557
035			\|l 10056760
040			\|a GR-MY-UA \|b gre \|e aacr
041	0		\|a eng
082	0		\|a 006.336
110	2		\|a LPNMR'97.
245	1	0	\|a Logic programming and nonmonotonic reasoning : \|b 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / \|c Jurgen Dix, Urlich Furbach, Anil Nerode, (eds.)
260			\|a Berlin ; Heidelberg : \|b Springer, \|c c1997
300			\|a x, 453 p.; \|c 24 cm.
490	1		\|a Lecture notes in computer science. Lecture notes in artificial intelligence \|v ; 1265
504			\|a Includes bibliographical references and index
650	0	0	\|a Logic programming \|x Congresses.
650	0	0	\|a Nonmonotonic reasoning \|x Congresses.
700	1		\|a Dix, J. \|q (Jurgen) \|d 1961- \|4 edt
700	1		\|a Furbach, Ulrich. \|4 edt
700	1		\|a Nerode, Anil, \|d 1932- \|4 edt
830		0	\|a Lecture notes in computer science. Lecture notes in artificial intelligence ; \|v ; 1265
852			\|a INST \|b SAMOS \|e 20000404 \|h 006.336 LPN \|p 005300015794 \|q 005300015794 \|t BK \|y 0
901			\|a BIBL3-2000-1
909			\|a Σ \|b 072829
922			\|a 3ΕΛΗ \|b 199912 \|c ΤΠΕΣ \|d ΠΑΠΑΣΩΤΗΡΙΟΥ
950			\|a 133-1999-07-20
970			\|a ΓΕΝΟΥΖΟΥ \|b ΧΡΥΣΑΝΘΗ \|z 2000/04/04