검색어 : 통합검색[Semantics]
총 97,163건 중 1,000건 출력
, 91/100 페이지
-
901
- Study on the Algebraic Semantics of Verilog
- Li, Yongjian; He, Jifeng; Sun, Yongqiang; Institute of Software, The Chinese Academy of Scineces; International Institute for Software Technology, United Nations University; Department of Computer Science and Engineering, Shanghai Jiaotong University; (軟件學報 = Journal of software, v.14, 2003, pp.317-327)
-
902
- Explicit Provability and Constructive Semantics
- Artemov, Sergei N.; ; (The bulletin of symbolic logic, v.7, 2001, pp.1-36)
-
903
- The proprial article and the semantics of names
- Muñ oz, Patrick; ; (Semantics and pragmatics, v.12, 2019, pp.1-36)
-
904
- Data Semantics on the Web
- Stuckenschmidt, Heiner; ; (Journal on data semantics, v.1, 2012, pp.1-9)
-
905
- A cognitivist semantics of gradation
- Carstensen, Kai-Uwe; Fakultä t I, Germanistisches Seminar, Universitä t Siegen; (Zeitschrift für Sprachwissenschaft : Organ der Deutschen Gesellschaft für Sprachwissenschaft, v.32, 2013, pp.181-219)
-
906
- Q-Adjectives and the Semantics of Quantity
- Solt, Stephanie; ; (Journal of semantics, v.32, 2015, pp.221-273)
-
907
- Approximating the Stable Model Semantics is Hard
- Gottlob, Georg; Truszczyń ski, Mirosł aw; ; (Fundamenta informaticae, v.28, 1996, pp.123-128)
-
908
- Topological semantics of conservativity and interpretability logics
- Iwata, Sohei; Kurahashi, Taishi; Graduate School of System Informatics, Kobe University , 1-1 Rokkodai, Nada, Kobe 657-8501, Japan; Graduate School of System Informatics, Kobe University , 1-1 Rokkodai, Nada, Kobe 657-8501, Japan; (Journal of logic and computation, v.31, 2021, pp.1716-1739)
-
909
- Semantics of MML Query - Ordering
- Bancerek, Grzegorz; ; (Formalized mathematics : a computer assisted approach, v.21, 2013, pp.41-46)
-
910
- Semantics Integral Operator Fuzzy Logic
- Chai, Xiao Long; Hu, Gui Wu; Chen, Ai Xiang; Guangdong University of Business Studies; Guangdong University of Business Studies; Guangdong University of Business Studies; (Applied mechanics and materials, v.263, 2012, pp.3382-3386)
QUICK MENU
