عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2250
QA
76
.
L28
Vol
.
2250
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
EDITION STATEMENT
Statement of Responsibility Relating to Edition
8th : 2001 : Havana, Cuba
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 738 p.: ill., tables
SERIES
Other Title Information
Lecture notes in artificial intellignece; 0522. Lecture notes in computer science
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540429573
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Robert Nieuwenhuis, Andrei Voronkov )eds.(
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic programming
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
2250
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Nieuwenhuis, Robert
AU Voronkov, Andrei, 1959-
TI
SE Lecture notes in computer science 2250
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
LPAR
