검색어 : 통합검색[Semantics]
총 97,163건 중 1,000건 출력
, 94/100 페이지
-
931
- Semantics-based composition of EMBOSS services
- Lamprecht, Anna-Lena; Naujokat, Stefan; Margaria, Tiziana; Steffen, Bernhard; Chair for Programming Systems, Technical University Dortmund, Dortmund, D-44227, Germany; Chair for Programming Systems, Technical University Dortmund, Dortmund, D-44227, Germany; Chair for Service and Software Engineering, Potsdam University, Potsdam, D-14482, Germany; Chair for Programming Systems, Technical University Dortmund, Dortmund, D-44227, Germany; (Journal of biomedical semantics, v.2, 2011, pp.S5-S5)
-
932
- Imperative programs as proofs via game semantics
- Churchill, M.; Laird, J.; McCusker, G.; ; (Annals of pure and applied logic, v.164, 2013, pp.1038-1078)
-
933
- Non-standard semantics of hybrid systems modelers
- Benveniste, A.; Bourke, T.; Caillaud, B.; Pouzet, M.; INRIA-Rennes, Campus de Beaulieu, 35042 Rennes cedex, France; (Journal of computer and system sciences, v.78, 2012, pp.877-910)
-
934
- Reexamination of Tarski's semantics
- Hiż , Henryk; 401, Holly Avenue, Cape May Point, NJ 08212, USA; (Annals of pure and applied logic, v.126, 2004, pp.39-48)
-
935
- Literary Semantics: Modality and 'Style'
- Eaton, Trevor; ; (Journal of literary semantics, v.7, 1978, pp.5-28)
-
936
- Product Semantics Comparison-an Accurate Method for Product Semantics Identification
- Yang, Y.; Zhang, Y.; Lei, T.; ; (機械工程學報 = Chinese journal of mechanical engineering, v.45, 2009, pp.166-171)
-
937
- Differential logic programs: Programming methodologies and semantics
- Bossi, A; Bugliesi, M; Gabbrielli, M; Levi, G; Meo, M.C; Corresponding author.; Dipartimento di Matematica Pura ed Applicata, Università di Padova via Belzoni 7, 35131 Padova, Italy; Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56100 Pisa, Italy; Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56100 Pisa, Italy; Dipartimento di Matematica Pura ed Applicata, Università di L'Aquila, Via Vetoio, Località Coppito, 67010 L'Aquila, Italy; (Science of computer programming, v.27, 1996, pp.217-262)
-
938
- Discourse Semantics with Information Structure
- Venhuizen, Noortje J; Bos, Johan; Hendriks, Petra; Brouwer, Harm; CLCG, University of Groningen, Oude Kijk in ’t Jatstraat 26, 9712 EK Groningen, The Netherlands; CLCG, University of Groningen, Oude Kijk in ’t Jatstraat 26, 9712 EK Groningen, The Netherlands; CLCG, University of Groningen, Oude Kijk in ’t Jatstraat 26, 9712 EK Groningen, The Netherlands; Department of Language Science and Technology, Saarland University, 66123 Saarbrü cken, Germany; (Journal of semantics, v.35, 2018, pp.127-169)
-
939
- General Semantics and Communication in Court Judgments
- Bhasker, G.; ; (Etc.: a review of general semantics, v.67, 2010, pp.227-233)
-
940
- General Semantics Theory: Its Implications for Psychotherapy
- Caro, I.; ; (Etc.: a review of general semantics, v.61, 2004, pp.308-326)
QUICK MENU
