|
|
|
|
LEADER |
01281nam a2200253 a 4500 |
001 |
1472921 |
003 |
GR-PaULI |
005 |
20210922132658.0 |
008 |
861209s1986 dcua b 101 0 eng |
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_131000000000000_SYM
|7 0
|8 NFIC
|9 128306
|a LISP
|b LISP
|c ALFe
|d 2016-04-24
|i 1862
|l 0
|o 005.131 SYM
|p 025000282852
|r 2016-04-24 00:00:00
|t 1
|v 2016.00
|w 2016-04-24
|y BK15
|x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής
|
999 |
|
|
|c 84102
|d 84102
|
010 |
|
|
|a 86230554
|
020 |
|
|
|a 0818607289
|
040 |
|
|
|a DLC
|c GR-PaULI
|d
|b gre
|e AACR2
|
082 |
0 |
4 |
|a 005.115
|2 23
|
111 |
2 |
|
|a Symposium on Logic Programming
|n (3rd :
|d 1986 :
|c Salt Lake City, Utah)
|9 187630
|
245 |
1 |
0 |
|a Proceedings :
|b 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah.
|
260 |
|
|
|a Washington, D.C. :
|b IEEE Computer Society Press ;
|a Los Angeles, CA :
|b Order from IEEE Computer Society,
|c c1986.
|
300 |
|
|
|a x, 285 σ. :
|b εικ. ;
|c 28 εκ.
|
504 |
|
|
|a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
|
650 |
|
4 |
|a Λογικός προγραμματισμός
|9 61492
|
710 |
2 |
|
|a IEEE Computer Society
|9 23536
|
942 |
|
|
|2 ddc
|c BK15
|
998 |
|
|
|c ΜΠΟΥΡΑΣ
|d 2021-09
|