図書

Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.). (Lecture notes in artificial intelligence)

Icons representing 図書

Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.).

(Lecture notes in artificial intelligence)

Call No. (NDL)
M15-A9662
Bibliographic ID of National Diet Library
000003236313
Material type
図書
Author
International Conference on Logic Programming and Non-Monotonic Reasoning (3rd : 1995 : Lexington, KY)ほか
Publisher
Springer-Verlag
Publication date
c1995.
Material Format
Paper
Capacity, size, etc.
viii, 415 p. : ill. ; 25 cm.
NDC
-
View All

Notes on use

Note (General)：

Includes bibliographical references and index.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
3540594876 (Berlin)
Title
Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.).
Series Title
Lecture notes in artificial intelligence
Author Heading
International Conference on Logic Programming and Non-Monotonic Reasoning (3rd : 1995 : Lexington, KY)
Marek, V. W. (V. Wiktor) , 1943-
Nerode, Anil, 1932-
Truszczyński, Mirosław.
Publication, Distribution, etc.
Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date
c1995.
Publication Date (W3CDTF)
1995
Extent
viii, 415 p. : ill. ; 25 cm.
Place of Publication (Country Code)
DE