OPAC

印刷

他の検索サイト

LECTURE NOTES IN COMPUTER SCIENCE

Lecture notes in computer science

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
本文言語	英語

子書誌情報を非表示


1	230 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
2	1118 Principles and practice of constraint programming -- CP 96 : Second International Conference, CP 96, Cambridge, MA, USA, August 19-22, 1996 : proceedings / Eugene C. Freuder (ed.) Berlin : Springer , c1996
3	1330 Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997 : proceedings / Gert Smolka (ed.) Berlin : Springer , c1997
4	1365 . Lecture notes in artificial intelligence Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings / Munindar P. Singh, Anand Rao, Michael J. Wooldridge (eds.) Berlin ; Tokyo : Springer , c1998
5	1784 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.) Berlin : Springer , c2000

書誌詳細を非表示

書誌ID	1000001018

戻るページトップ

図書館サービス

‐ 雑誌タイトルリスト
‐ AV資料タイトルリスト

‐ 指定図書(準備中)
‐ ベストリーディング

利用者サービス

‐ MYOPAC