Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակ: Joint International Conference and Symposium on Logic Programming Bonn, Germany
Այլ հեղինակներ: Maher, Michael, 1959-
Ձևաչափ: Գիտաժողովի նյութեր Գիրք
Լեզու:English
Հրապարակվել է: Cambridge, Mass. ; London : MIT, c1996.
Խորագրեր:
LEADER 01129cam a2200277 a 4500
001 c000225314
003 CARM
005 20061106165941.0
008 961111s1996 enka 101 0 eng d
015 |a GB96-82981 
019 1 |a 12825352  |5 LACONCORD2021 
020 |a 0262631733 
035 |a (OCoLC)35911385  |5 LACONCORD2021 
040 |a BNB  |b eng  |c BNB  |d BNB 
082 0 4 |a 005.131  |2 20 
111 2 |a Joint International Conference and Symposium on Logic Programming  |d (1996 :  |c Bonn, Germany) 
245 1 0 |a Logic programming :  |b proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /  |c edited by Michael Maher. 
260 |a Cambridge, Mass. ;  |a London :  |b MIT,  |c c1996. 
300 |a xix, 554 p. :  |b ill. ;  |c 23 cm. 
500 |a Includes index. 
650 0 |a Logic programming  |x Congresses. 
653 0 |a Logic programming. 
700 1 |a Maher, Michael,  |d 1959- 
852 8 |b CARM  |h A2:AO11G0  |i C08401  |p 0318155  |f BK 
999 f f |i 5af50c2d-177d-50f0-a20a-4efcbfa3e629  |s 746ec378-759d-565a-acde-7fa05f301774 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C08401  |f A2:AO11G0  |h Other scheme  |i book  |m 0318155