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