Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1991]
|
| Series: | Lecture notes in computer science ;
485. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | b1377324 | ||
| 005 | 20240627103448.0 | ||
| 008 | 910628t19911991gw a b 100 0 eng d | ||
| 020 | |a 3540539190 | ||
| 020 | |a 0387539190 | ||
| 035 | |a (OCoLC)24005894 | ||
| 040 | |a EUE |c EUE |d PMC |d KKS |d IAY |d OCL |d UtOrBLW | ||
| 049 | |a STAM | ||
| 090 | |a QA76.63 |b .L63 1991 | ||
| 245 | 0 | 0 | |a Logic programming '89 : |b proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 / |c K. Furukawa, H. Tanaka, T. Fujisaki (eds.). |
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [1991] | |
| 264 | 4 | |c ©1991 | |
| 300 | |a viii, 183 pages : |b illustrations ; |c 25 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 Lecture notes in computer science ; |v 485 |a Lecture notes in artificial intelligence | |
| 500 | |a "Papers presented at the Eighth Logic Programming Conference"--Foreword | ||
| 504 | |a Includes bibliographical references | ||
| 505 | 0 | |a Human and machine learning of descriptive concepts / Donald Michie -- The classification and boundary problem / J. Yamaguchi -- Semantics of non-monotonic reasoning based on perfect model / F. Dong, H. Nakagawa -- Time-bounded reasoning in first order knowledge base systems / Y. Shi, S. Arikawa -- Elementary formal system as a logic programming language / A. Yamamoto -- Debugger for a parallel logic programming language Fleng / J. Tatemura, H. Tanaka -- Parallel generalized LR parser based on logic programming / H. Numazaki, N. Tamura, and H. Tanaka -- Knowledge media station / Y. Hosono ... [et al.] -- cu-Prolog and its application to a JPSG parser / H. Tsuda, K. Hasida and H. Shirai | |
| 505 | 0 | |a Table-driven bottom up parser in Prolog / N. Tamura, H. Numazaki and H. Tanaka -- A consistency maintenance mechanism for subjective judgments and its applications / T. Shintani -- Logic design assistance using temporal logic based language Tokio / H. Nakamura ... [et al.] | |
| 583 | 1 | |a Committed to retain |c 20220701 |d 20320731 |f SCELC Shared Print |u https://scelc.org/libraries/shared-print |z retain for SCELC | |
| 650 | 0 | |a Logic programming |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008107111 | |
| 650 | 7 | |a Logic programming. |2 fast |0 (OCoLC)fst01002056 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Furukawa, Kōichi. |0 http://id.loc.gov/authorities/names/n85292902 | |
| 700 | 1 | |a Tanaka, H. |q (Hozumi) |0 http://id.loc.gov/authorities/names/n88078999 | |
| 700 | 1 | |a Fujisaki, T. |q (Tetsunosuke) |0 http://id.loc.gov/authorities/names/n88079000 | |
| 711 | 2 | |a Logic Programming Conference |n (8th : |d 1989 : |c Tokyo, Japan) | |
| 830 | 0 | |a Lecture notes in computer science ; |v 485. |0 http://id.loc.gov/authorities/names/n42015162 | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436 | |
| 907 | |a .b13773240 |b 240629 |c 920918 | ||
| 918 | |a .bckstg |b 2016-12-01 | ||
| 998 | |a umn |b 920918 |c m |d a |e - |f eng |g gw |h 0 | ||
| 999 | f | f | |i 2f1cdbf3-c288-5359-b74f-e7afa9121202 |s 0cf91ad4-633f-5d34-99b5-3501da967f5e |t 0 |
| 952 | f | f | |p Circulating |a Santa Clara University |b Santa Clara Main Campus |c University Library |d University Library ARS Main Stacks |t 0 |e QA76.63 .L63 1991 |h Library of Congress classification |i book |m 35098103035476 |n c.1 |