Logical Foundations of Computer Science

Saved in:
Bibliographic Details
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