مؤتمر
Automatic structures
العنوان: | Automatic structures |
---|---|
المؤلفون: | Blumensath, A., Gradel, E. |
المصدر: | Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) Logic in computer science Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on. :51-62 2000 |
Relation: | Proceedings of Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 0769507255 9780769507255 |
---|---|
تدمد: | 10436871 |
DOI: | 10.1109/LICS.2000.855755 |