2012-03-07
엄재홍(zpage)
- Logic
- Artifiical intelligence
- knowledge representation
- Automatic interence
- program verification
- Modularization
추천 리포트
-
[학회보고서] 제33회 AAAI 인공지능 학회
-
[학회보고서] 제32회 국제 뇌신경 정보처리 시스템 학회
-
[코센리포트] 정밀의학을 위한 오믹스와 EHR 빅데이터 분석
-
리포트 평점
해당 콘텐츠에 대한 회원님의 소중한 평가를 부탁드립니다. -
0.0 (0개의 평가)