Zhiming Liu

Subjects

Software engineering, Computer science, Congresses, Electronic data processing, Formal methods (Computer science), Information theory, Logic design, Logics and Meanings of Programs, Application software, Artificial Intelligence (incl. Robotics), Artificial intelligence, Bioreactors, Cell Culture Techniques, Component software, Computer Science, general, Computer architecture, Computer programming, Computer science, mathematics, Computer software, development, Computer software, reliability, Education, Information Systems, Literature, collections, Management of Computing and Information Systems, Mathematical Logic and Formal Languages

Places

China

Time

2000-, 21st century