Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
541 p.
Saved in:
Other Authors: | Ausiello, G. |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/26298 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Smart Sensing and Context
Published: (2017) -
Theorem Proving in Higher Order Logics
by: Hutchison, David
Published: (2017) -
Computational science-ICCS 2008 : 8th international conference, Kraków, Poland, June 23-25, 2008 : proceedings
Published: (2017) -
Deontic Logic in Computer Science
Published: (2017) -
Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings
Published: (2017)