書店で探す
目次
12(1) 1995.01
- MLプログラミングー1-
p3~15
- マルチエージェントシステム研究の目指すもの
p78~84
- マルチエージェントと協調計算<特集>
p31~77
12(4) 1995.07
- プログラミング言語ML(文献案内)
p318~321
- IEEE Vis′94報告
p385~387
- MLプログラミング入門-4完-
p305~317
- 項書換えシステムにおける自己反映計算
p293~304
- 情報の可視化<特集>
p322~384
12(6) 1995.11
- コンピュータソフトウェア 総目次12巻(1995年)
p608~609
- ECAL′95報告
p599~604
- Genericな相互作用を有する並行計算モデル--GIM
p585~594
- 再帰的属性評価器における領域割り当てアルゴリズム
p568~584
12(2) 1995.03
- COLING′94報告
p184~188
- MLプログラミング入門-2-
p93~105
- 一段述語論理における推論と充足の代数化
p106~121
- 一段理論に対する単一名公理の計算法
p157~165
- 自己反映的証明体系RPTの理論と実現
p122~141
12(3) 1995.05
- CSCWチュートリアル′94パネルディスカッション
p279~282
- MLプログラミング入門-3-
p197~208
- 応答型並行プロセスのための時相論理式を用いた部分計算法
p209~221
- 組み合わせオブジェクトに基づくGUIライブラリ
p243~252
12(5) 1995.09
- NOSSDAV′95報告
p507~511
- 複数の人間と協調する演奏システム
p465~473
- PDIアルゴリズム--プログラム差分合成のためのアルゴリズム
p487~501
- 自然言語処理の実動システム<特集>
p404~464
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0289-6540
- ISSN-L
- 0289-6540
- タイトル
- タイトルよみ
- コンピュータ ソフトウェア
- 巻次・部編番号
- 12(1)-12(6) 19950100-19951100
- 著者・編者
- 日本ソフトウェア科学会 編
- 著者標目
- 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
- 出版年月日等
- 1995