부산대학교 도서관

교내접속OFF
영문 바로가기
Home
통합검색
학술논문

학술논문

replay검색결과 돌아가기
search검색화면
Extraction of Expansion Trees
Document Type
Article
Author
Leitsch, A.; Lolic, A.
Source
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 15 March 2019, 62(3):393-430)
Subject
Language
English
ISSN
15730670
01687433

Online Access

Full Text (ProQuest Central) Web of Science JCR 저널정보 Scopus Find it@PNU

메일 발송

이메일

폴더 추가