Login / Signup
Ngarap Im Manik
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Programming Language
Database Languages
Theorem Proving
Strongly Typed
Top Venues
ICCSCI
</>
Publications
</>
Ngarap Im Manik
Proof Of Normal Subgroups and Factor Groups Based on Java Programming Language.
ICCSCI
(2017)