عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 E-Book ,
QA
76
.
9
.
A96
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319221014
NATIONAL BIBLIOGRAPHY NUMBER
Number
13703
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Interactive Theorem Proving
General Material Designation
[electronic resources]
Other Title Information
: 6th International Conference, ITP 2015 Nanjing, China, August 24–27, 2015 Proceedings
First Statement of Responsibility
\ Christian Urban, Xingyuan Zhang (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 469 p.)
Other Physical Details
:ill.
SERIES
Series Title
Lecture notes in computer science
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
; 9236
GENERAL NOTES
Text of Note
International conference proceedings
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, symbolic and mathematical
Entry Element
منطق ریاضی
Form Subdivision
-- Congresses
Form Subdivision
-- کنگرهها
a03
a03
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
A96
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Urban, Christian, editor
Zhang, Xingyuan, editor.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
ITP (Conference) (6th : 2015 : Nanjing, China)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170209
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319221014.pdf
p
BL
279177
1
a
Y
منطق ریاضی -- کنگرهها
Logic, symbolic and mathematical -- Congresses
