富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: Semantics Congresses)
該当件数:8件
Practical aspects of declarative languages : second International Workshop , PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.)
Berlin : Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1753)
図書
Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
: Berlin,: New York. - Berlin : Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 802)
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.)
:gw,:us. - Berlin : Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 478 . Lecture notes in artificial intelligence)
Biological complexity and information : proceedings of a conference on the amalgamation of the Eastern and the Western ways of thinking / edited by Hiroshi Shimizu : sponsored by National Institute for Research and Advancement and the Toyota Foundation
Singapore : World Scientific , c1990
Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986, proceedings / Marisa Venturini Zilli (ed.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 280)
Selections from the Third Groningen Round Table / edited by Frank Heny, Helmut S. Schnelle
New York : Academic Press , c1979. - (Syntax and semantics / edited by John P. Kimball ; v. 10)
Symposium on semantics of algorithmic languages : [papers] / edited by E. Engeler
: Germany,: U.S.. - Berlin : New York : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 188)
Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987 / edited by Veronica Dahl and Patrick Saint-Dizier
Amsterdam : Tokyo : North-Holland. - New York, N.Y., U.S.A. : Tokyo : North-Holland. - (Natural language understanding and logic programming ; 2)