Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Applied logic for computer scientists : computational deduction and formal proofs
پدید آورنده
Mauricio Ayala-Rincon, Flavio L. C. de Moura
موضوع
، Computer logic,، Computer science -- Mathematics
رده
QA
76
.
9
.
L63A92
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Applied logic for computer scientists : computational deduction and formal proofs
First Statement of Responsibility
Mauricio Ayala-Rincon, Flavio L. C. de Moura
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c2017
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 150 p.: ill. + 1 computer file: PDF
SERIES
Other Title Information
Undergraduate topics in computer science
GENERAL NOTES
Text of Note
Also available at IPM digital library: https://libraryportal.ipm.ac.ir
Text of Note
Bibliography: p.145-146
Text of Note
ISBN: 9783319516516
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer logic
Entry Element
، Computer science -- Mathematics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
L63A92
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Ayala-Rincon, Mauricio
Relator Code
AU
AU Moura, Flavio L. C. de
SE
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal