عنوان
پدید آورنده
موضوع
رده
QA76 .9 .A96 A82 2015 E-Book ,
QA76
.
9
.
A96
A82
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319249520
NATIONAL BIBLIOGRAPHY NUMBER
Number
13551
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated Technology for Verification and Analysis
General Material Designation
[electronic resources]
Other Title Information
: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings
First Statement of Responsibility
\ Bernd Finkbeiner, Geguang Pu, Lijun Zhang
.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
XIII, 520 p.
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9364
EXTERNAL INDEXES/ABSTRACTS/REFERENCES NOTE
Name of source
Bibliography
Name of source
Index
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving -- Congresses.
Artificial intelligence -- Congresses.
اثبات قضیه خودکار -- کنگره ها
هوش مصنوعی -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
Book number
.
A96
A82
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Finkbeiner, Bernd
Pu, Geguang
Zhang, Lijun, 1979-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
ATVA (Symposium) (13th : 2015 : Shanghai, China)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20190919
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319249520.pdf
BL
279177
1
a
Y
