Logic programming : proceedings of the North American Conference, 1989

Web Site CiNii 所蔵館 25館

書誌事項

タイトル
"Logic programming : proceedings of the North American Conference, 1989"
責任表示
edited by Ewing L. Lusk and Ross A. Overbeek
出版者
  • MIT Press
出版年月
  • c1989
書籍サイズ
23 cm
シリーズ名/番号
  • v. 1
  • v. 2

この図書・雑誌をさがす

注記

"On constructive negation in logic programming / Teodor C. Przymusinski" (19 p.) inserted

"Papers presented at the North American Conference on Logic Programming held in Cleveland, Ohio, USA on October 16-20, 1989"--Pref.

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ