上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #International Symposium PLILP)
該当件数:7件
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 844)
図書 <1000503871>
Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings / Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1490)
図書 <1000997445>
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing, (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 528)
図書 <1000431025>
Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 714)
図書 <1000479139>
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 982)
図書 <1000527705>
Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
: pbk. - Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1292)
図書 <1000555220>
Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing, (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992. - (Lecture notes in computer science ; 631)
図書 <1000454589>