Programming language implementation and logic programming : proceedings.
Saved in:
| Online Access: |
Request a PDF (UCB only) |
|---|---|
| Corporate Author: | |
| Other title: | Programming languages implementation and logic programming Programming languages: implementations, logics, and programs Principles of declarative programming |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1989-
|
| Series: | Lecture notes in computer science ;
348. Lecture notes in computer science ; 456. Lecture notes in computer science ; 528. Lecture notes in computer science ; 631. Lecture notes in computer science ; 714. Lecture notes in computer science ; 982. Lecture notes in computer science ; 1140. Lecture notes in computer science ; 1292. Lecture notes in computer science ; 1490. |
| Subjects: |
MARC
| LEADER | 00000nas a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | b2589075 | ||
| 003 | CoU | ||
| 008 | 941027c19889999gw ar 0 a0eng d | ||
| 005 | 20240124164628.6 | ||
| 035 | |a (OCoLC)ocm31365477 | ||
| 040 | |a KKS |c KKS | ||
| 049 | |a DVDI | ||
| 090 | |a QA76.7 |b .I5773 | ||
| 222 | 0 | |a Programming language implementation and logic programming : | |
| 245 | 0 | 0 | |a Programming language implementation and logic programming : |b proceedings. |
| 246 | 1 | 0 | |a Programming languages implementation and logic programming |f 1988. |
| 246 | 1 | 0 | |a Programming languages: implementations, logics, and programs |f 1996. |
| 246 | 1 | 3 | |a Principles of declarative programming |f 1998. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1989- | ||
| 300 | |a volumes : |b illustrations ; |c 24 cm. | ||
| 310 | |a Annual. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 362 | 0 | |a [1st] (1988)- | |
| 490 | 1 | |a Lecture notes in computer science. | |
| 550 | |a 10th (1998) issued jointly with 7th (1998) International Conference on Algebraic and Logic Programming (AIP), entitled: Principles of declarative programming. | ||
| 650 | 0 | |a Programming languages (Electronic computers) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008108876. | |
| 650 | 0 | |a Logic programming |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008107111. | |
| 711 | 2 | |a PLILP. | |
| 856 | 4 | 2 | |u https://colorado.idm.oclc.org/login?url=https://colorado.illiad.oclc.org/illiad/COD/illiad.dll?Action=10&Form=22&CitedIn=librarycatalogserials |z Request a PDF (UCB only) |
| 830 | 0 | |a Lecture notes in computer science ; |v 348. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 456. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 528. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 631. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 714. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 982. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1140. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1292. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1490. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 907 | |a .b2589075x |b 03-18-20 |c 08-08-96 | ||
| 998 | |a eng |b 08-08-96 |c - |d s |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b2589075x |b 11-23-14 |c 08-08-96 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b2589075x |b 06-10-10 |c 08-08-96 | ||
| 907 | |a .b2589075x |b 10-31-07 |c 08-08-96 | ||
| 946 | |a hmc 896 ms | ||
| 947 | |a 03/04tr hmc |b mr |n computer science move | ||
| 999 | f | f | |i 1724501d-f1ac-5b0d-973c-df60d92be0c6 |s a9191cc8-ea08-5d88-adb2-88e1ef12d096 |
| 856 | 4 | |y Request a PDF (UCB only) | |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 4th 1992 |m U183013576345 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 5th 1993 |m U183015141332 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 10th 1998 |m U183027098032 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 1st 1988 |m U183009819723 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 2nd 1990 |m U183011416329 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 3rd 1991 |m U183012473861 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 6th 1994 |m U183015983255 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 7th 1995 |m U183018379594 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 8th 1996 |m U183020471768 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library |e QA76.7 .I5773 |h Library of Congress classification |i book |k 9th 1997 |m U183021945524 |n 1 |