http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems
Gutierrez, F.; Ruiz, B. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-12
Economics and Economy in the Theory of Belief Revision (Preliminary Report)
Rott, H. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-15
Expressibility of Higher Order Logics
Hella, L.; Turull-Torres, J. M. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-12
Fusion of Pedigreed Preferential Relations
Suzuki, Y.; Tojo, S. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-12
Gap Embedding for Well-Quasi-Orderings
Dershowitz, N.; Tzameret, I. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-11
Intersection Types and Computational Rules
Alessi, F.; Barbanera, F.; Dezani-Ciancaglini, M. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-15
k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures
Bechet, D.; Foret, A. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-13
Lowness Properties of Reals and Hyper-Immunity
Callejas Bedregal, B. R.; Nies, A. ELSEVIER SCIENCE B.V AMSTERDAM 2003 p.1-7