عنوان
پدید آورنده
موضوع
رده
E-B00k,
E-B00k
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319516516
NATIONAL BIBLIOGRAPHY NUMBER
Number
27579
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Applied logic for computer scientists.
General Material Designation
[electronic resources]
Other Title Information
: Computational Deduction and Formal Proofs
First Statement of Responsibility
\ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York, NY
Name of Publisher, Distributor, etc.
: Springer Berlin Heidelberg
Date of Publication, Distribution, etc.
, 2017.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 150 p.
SERIES
Series Title
Undergraduate topics in computer science
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science
Entry Element
Computer logic
Entry Element
کامپیوتر
Entry Element
منطق کامپیوتری
a01
a03
a01
a03
LIBRARY OF CONGRESS CLASSIFICATION
E-B00k
,
PERSONAL NAME - PRIMARY RESPONSIBILITY
Ayala-Rincón, Mauricio
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Moura, Flávio L. C. de
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20190123074221.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319516516.pdf
BL
279177
1
N
