http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O43433375
2005년
eng
0039-3215
1572-8730
SCOPUS;AHCI;SCIE
학술저널
STUDIA LOGICA
97-113 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
The Refined Extension Principle for Semantics of Dynamic Logic Programming
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions
Belief Liberation (and Retraction)