عنوان
پدید آورنده
موضوع
رده
QA76.63 .L63 1989
QA76
.
63
.
L63
1989
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
038751564X (U.S.)
(Number (ISBN
354051564X
(Number (ISBN
9780387515649 (U.S.)
(Number (ISBN
9783540515647
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic programming '88 :
General Material Designation
[Book]
Other Title Information
proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 /
First Statement of Responsibility
K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1989.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 251 p. :
Other Physical Details
ill. ;
Dimensions
25 cm.
SERIES
Series Title
Lecture notes in artificial intelligence.
Volume Designation
383.
GENERAL NOTES
Text of Note
"Papers presented at the Seventh Logic Programming Conference"--Foreword.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographies.
SUMMARY OR ABSTRACT
Text of Note
"This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system."--Publisher's website.
OTHER EDITION IN ANOTHER MEDIUM
Title
Logic programming '88.
TOPICAL NAME USED AS SUBJECT
Logic programming-- Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Book number
.
L63
1989
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Fujisaki, T., (Tetsunosuke)
Furukawa, Kōichi.
Tanaka, H., (Hozumi)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Logic Programming Conference(7th :1988 :, Tokyo, Japan)
ORIGINATING SOURCE
Date of Transaction
20140613194629.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
