Logic Programming First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings

Logic Programming First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings / edited by Andrei Voronkov.

保存先:
書誌詳細
団体著者: SpringerLink (Online service)
その他の著者: Voronkov, Andrei (編集者)
フォーマット: eBook
言語:English
出版事項: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992.
版:1st ed. 1992.
シリーズ:Lecture Notes in Artificial Intelligence ; 592
Springer eBook Collection.
主題:
Mathematical logic.
Computer logic.
Computer programming.
Artificial intelligence.
Electronic resources (E-books)
オンライン･アクセス:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
ログイン （予約･返却請求情報入力）

インターネット

Click to view e-book

Online

予約･返却請求 Online
請求記号: E-Book
Copy 1 利用可

類似資料