Logical Foundations of Computer Science
Saved in:
Other Authors: | Artemov, S. N. ; Nerode, Anil |
---|---|
Format: | Book |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/29519 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Similar Items
-
Journal on Data Semantics X
by: Stefano Spaccapietra.
Published: (2017) -
Formal Methods for Industrial Critical Systems
Published: (2017) -
Formal Methods for Components and Objects
Published: (2017) -
Foundations of Software Science and Computational Structures
Published: (2017) -
Foundation Rails 2
by: Eldon Alameda.
Published: (2017)