Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Conditional and preferential logics
پدید آورنده
/ Gian Luca Pozzato
موضوع
Logic, Symbolic and mathematical.,Proof theory.
رده
QA9
,.
P65
,
2010
کتابخانه
Central Library and Document Center of Shahid Chamran University
محل استقرار
استان:
Khuzestan
ـ شهر:
Ahvaz
تماس با کتابخانه :
33360244
-
061
INTERNATIONAL STANDARD BOOK NUMBER
Qualification
(pbk.)
(Number (ISBN
9781607500940
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
ebook45145
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
Conditional and preferential logics
General Material Designation
[Electronic Resource]
Other Title Information
:proof methods and theorem proving
First Statement of Responsibility
/ Gian Luca Pozzato
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam ;Washington, DC
Name of Publisher, Distributor, etc.
: IOS Press,
Date of Publication, Distribution, etc.
, c2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 200 p.
Other Physical Details
: ill. ; 24 cm.
SERIES
Series Title
(Frontiers in artificial intelligence and applications,0922-6389
Volume Designation
; v. 208.Dissertations in artificial intelligence)
GENERAL NOTES
Text of Note
Revised and updated version of the author's Ph.D. dissertation, University of Torino.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 193-200).
SERIES
Title
Frontiers in artificial intelligence and applications
Title
Frontiers in artificial intelligence and applications.Dissertations in artificial intelligence
Volume Number
v. 208
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical.
Proof theory.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
,.
P65
,
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Pozzato, Gian Luca
ORIGINATING SOURCE
Country
ایران
LOCATION AND CALL NUMBER
Call Number
511.3
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9781607500940.pdf
Electronic Format Type
0
old catalog
e
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal