Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: LPNMR '95, Lexington, Ky.
Other Authors: Truszczyński, Mirosław, Nerode, Anil, 1932-, Marek, V. W. (V. Wiktor), 1943-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c1995.
Series:Lecture notes in computer science ; 928.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Logic programming > Congresses.
Nonmonotonic reasoning > Congresses.
LEADER 01643nam a2200361 a 4500
001 c000162655
003 CARM
005 19960722000000.0
008 950526s1995 gw a b 001 0 eng
010 |a 95023976 //r96 
019 1 |a 11706228  |z 45193494  |5 LACONCORD2021 
020 |a 0387594876  |b (New York : acid-free paper) 
020 |a 3540594876  |b (Berlin : acid-free paper) 
035 |a (OCoLC)32664684  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC 
050 0 0 |a QA76.63  |b .L74 1995 
082 0 0 |a 005.1/1  |2 20 
111 2 |a LPNMR '95,  |d (1995 :  |c Lexington, Ky.) 
245 0 0 |a Logic programming and nonmonotonic reasoning :  |b third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /  |c V.W. Marek, A. Nerode, M. Truszczyński, eds. 
260 |a Berlin ;  |a New York :  |b Springer,  |c c1995. 
300 |a viii, 415 p. :  |b ill. ;  |c 24 cm. 
490 1 |a Lecture notes in artificial intelligence ;  |v 928,  |a Lecture notes in computer science. 
504 |a Includes bibliographical references and index. 
650 0 |a Logic programming  |x Congresses. 
650 0 |a Nonmonotonic reasoning  |x Congresses. 
700 1 |a Truszczyński, Mirosław. 
700 1 |a Nerode, Anil,  |d 1932- 
700 1 |a Marek, V. W.  |q (V. Wiktor),  |d 1943- 
830 0 |a Lecture notes in computer science ;  |v 928. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
852 8 |b CARM  |h A2:AM07F0  |i C05499  |p 0214733  |f BK 
999 f f |i 43f78e80-8c18-52d4-8658-c6ba3a27a334  |s 4a118238-ce70-54f2-9833-c28d05858406 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05499  |f A2:AM07F0  |h Other scheme  |i book  |m 0214733 

Similar Items