Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
Record:
Author
Ayala-Rincon, Mauricio, author.
Title
Applied Logic for Computer Scientists / Computational Deduction and Formal Proofs / Mauricio Ayala-Rincon, Flavio L. C. de Moura.
Publisher
Cham : Springer, 2017.
Edition
1st ed. 2017.
Location/Availability
More Details
Full Record
Web View
Click on the following to:
Connect to https://www.vlebooks.com/vleweb/product/openreader?id=Hull&isbn=9783319516530
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
150 pages : illustrations (black and white)
Content
text
Media
computer
Carrier
online resource
Edition
1st ed. 2017.
ISBN
9783319516530 (e-book)
9783319516516
Click on the terms below to find similar items in the catalogue
Author
Ayala-Rincon, Mauricio, author.
Series
Undergraduate Topics in Computer Science
Alt author
de Moura, Flavio L. C., author.
Descript
150 pages : illustrations (black and white)
Content
text
Media
computer
Carrier
online resource
Edition
1st ed. 2017.
ISBN
9783319516530 (e-book)
9783319516516
Author
Ayala-Rincon, Mauricio, author.
Series
Undergraduate Topics in Computer Science
Alt author
de Moura, Flavio L. C., author.
Descript
150 pages : illustrations (black and white)
Content
text
Media
computer
Carrier
online resource
Alt author
de Moura, Flavio L. C., author.
ISBN
9783319516530 (e-book)
9783319516516
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Links and services for this item:
Persistent link to this item
Click link and copy URL from browser navigation toolbar