Logic programming : proceedings of the fourth international conference /

Bibliographic Details
Corporate Author: International Conference on Logic Programming
Other Authors: Lassez, Jean-Louis
Format: Conference Proceeding Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1987]
Series:MIT Press series in logic programming.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000 a 4500
001 in00000025698
005 20151007054437.0
008 870304s1987 maua b 10100 eng
010 |a  87002937  
020 |a 0262121255 (set) 
020 |a 026212128X (pbk. : v. 1) 
020 |z 0263121298 (pbk. : v. 2) 
020 |z 0262620588 (pbk.) 
035 |a (OCoLC)15365724 
035 |9 AAB5072AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM  |v 1 [A11073241]  |v 2 [A11073291] 
050 0 0 |a QA76.6  |b .L589 1987 
082 0 |a 005.13/1  |2 19 
245 0 0 |a Logic programming :  |b proceedings of the fourth international conference /  |c edited by Jean-Louis Lassez. 
264 1 |a Cambridge, Mass. :  |b MIT Press,  |c [1987] 
264 4 |c ©1987 
300 |a 2 volumes :  |b illustrations ;  |c 23 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a MIT Press series in logic programming 
500 |a Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987. 
504 |a Includes bibliographies and index. 
650 0 |a Logic programming  |v Congresses. 
700 1 |a Lassez, Jean-Louis. 
711 2 |a International Conference on Logic Programming  |n (4th :  |d 1987 :  |c University of Melbourne) 
830 0 |a MIT Press series in logic programming. 
999 |a MARS 
999 f f |s 8e3a5785-9c06-3bd1-a169-fcf264c507a8  |i 5b753ec7-da02-3bc5-8cb6-509b100188af  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.6 .L589 1987  |h Library of Congress classification  |i unmediated -- volume  |k v.2  |m A14811073291 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.6 .L589 1987  |h Library of Congress classification  |i unmediated -- volume  |k v.1  |m A14811073241 
998 f f |a QA76.6 .L589 1987  |s v.1-v.2  |t 0  |l Remote Storage