Old Web
English
Sign In
Acemap
>
Paper
>
朱德熙(1982)の粘着型動目構造と統語型動目構造について
朱德熙(1982)の粘着型動目構造と統語型動目構造について
2016
hou aoki
Keywords:
Predicate (grammar)
Tautology (logic)
Intuitionistic logic
First-order logic
Predicate logic
Description logic
Algorithm
Dynamic logic (modal logic)
Higher-order logic
Monadic predicate calculus
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]