Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yuming Shen
Preservative Translations Between Logical Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
Introduction to Logical Information Systems
Information Processing and Management
Media Technology
Information Systems
Information Sciences
Library
Management Science
Computer Science Applications
Operations Research
Improving the Interoperation Between Generics Translations
Fully Abstract Translations Between Functional Languages
Logical Closure Properties of Propositional Proof Systems
Connections Between Musical and Logical-Mathematical Intelligences
Educatia 21
Accelerated Logical Inference in the Intelligent Control Systems
DEStech Transactions on Computer Science and Engineering
Translations
Joelho Revista de Cultura Arquitectonica
BLID: An Application of Logical Information Systems to Bioinformatics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Translations
European Journal of Cultural Studies
Arts
Education
Cultural Studies
Humanities
