عنوان
پدید آورنده
موضوع
رده
005 .115 I61L 2005
005
.
115
I61L
2005
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
262205
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
General Material Designation
[book]
First Statement of Responsibility
/ Geoff Sutcliffe, Andrei Voronkov (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
، 2005
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 744 p.
Other Physical Details
: tables, charts
SERIES
Series Title
Lecture notes in computer science
Other Title Information
: 3835
GENERAL NOTES
Text of Note
Includes bibliographical references and indexes
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic programming
Entry Element
Automatic theorem proving
Entry Element
Artificial intelligence
Topical Subdivision
-- Congresses
Topical Subdivision
-- Congresses
Topical Subdivision
-- Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
115
I61L
2005
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
.
L735
2005b
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
Sutcliffe, Geoff
Entry Element
Voronkov, Andrei
Entry Element
1959-
Dates
، 1959-
Relator Code
creator
Relator Code
creator
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
International conference LPAR
Subdivision
author
ORIGINATING SOURCE
Country
ایران
LOCATION AND CALL NUMBER
Call Number
QA76.63 .L735 2005b
Previous cataloging
BL
1
Y
