عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 2015 E-Book ,
QA
76
.
9
.
A96
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319243115
NATIONAL BIBLIOGRAPHY NUMBER
Number
13685
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated Reasoning with Analytic Tableaux and Related Methods
General Material Designation
[electronic resources]
Other Title Information
: 24th International Conference, TABLEAUX 2015 Wrocław, Poland, September 21–24, 2015 Proceedings
First Statement of Responsibility
\ Hans De Nivelle (Ed.)
.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
xi, [355] p
SERIES
Series Title
Lecture Notes in Artificial Intelligence
Volume Designation
; 9323
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving -- Congresses.
Programming Techniques.
Software engineering.
مهندسی نرم افزار
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
A96
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Nivelle, Hans
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TABLEAUX (Conference) (24th : 2015 : Wrocław, Poland)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170209
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319243115.pdf
p
BL
279177
1
a
Y
