×
作者ID: ta.quang-trung公司“Ta,Quang Trung”最近发表的zbMATH文章
发布日期: Ta、Quang-Trung
已编制索引的文档: 5出版物自2013年起
合著者: 6位合著者具有5联合出版物
84位合作作者

按年份列出的出版物

2篇连载文章中引用

1 计算的形式方面
1 ACM计算逻辑事务

按年份列出的引文