ようこそ  ゲスト さん

北海道大学蔵書目録

ヘルプ
入力補助
English
TOP
データベース
北方資料データベース
図書館Webサービス
    • 貸出・予約状況照会・貸出延長
    • メールアドレス登録・変更・削除
    • 文献複写・貸借申込み
    • 文献複写・貸借申込み状況照会
    • 教職員図書購入申込み
    • 教職員図書購入申込み状況照会
    • 予算状況照会
    • 予算差引簿
    • パスワード変更(図書館利用者ID専用)
  • 附属図書館
  • HUSCAP
  • 本は脳を育てる
  • 北海道大学
  • 北海道大学
  • CiNii Books
  • CiNii Research(論文のみ)
  • 国立国会図書館
  • その他の検索
    • CiNii Books
    • CiNii Research(論文のみ)
    • 国立国会図書館

蔵書検索

学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。

CiNii Books

全国の大学図書館等が所蔵する図書や雑誌を検索できます。

CiNii Research(論文のみ)

日本の学術論文情報を検索できます。

国立国会図書館

国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。

検索条件を開く
  • 簡易検索
  • 詳細検索

検索条件

  •  

資料区分

部局

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
全ての項目:
論文名:
著者名:
刊行物名:
並び順:
一覧表示件数:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
出版者:
件名:
ISBN:
ISSN:
出版年: –
並び順:
一覧表示件数:

» 絞込条件

検索結果

メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。

検索キーワード:(標準分類: 006.3/3)

該当件数:89件

  • 件
  • 1
  • 2
  • 3
  • 4
  • 5
  • 選択した資料の一覧表示
  • メール送信
  • ファイル出力
  • EndNote Basic出力
  • Mendeley出力
全選択
  • 1.
    図書

    Expert systems 85 : proceedings of the Fifth Technical Conference of the British Computer Society Specialist Group on Expert Systems, University of Warwick, 17-19 December 1985 / Martin Merry [programme chairman]

    Cambridge : Cambridge University Press , 1985. - (The British Computer Society Workshop series)

    書誌ID=2000016427 NCID=BA00069612



  • 2.
    図書

    Ontological engineering : with examples from the areas of knowledge management, e-commerce and the semantic Web / Asunción Gómez-Pérez, Mariano Fernández-López and Oscar Corcho

    London : Springer , c2004. - (Advanced information and knowledge processing)

    書誌ID=2001188360 NCID=BA65357011



  • 3.
    図書

    Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek

    : pbk. - Cambridge ; New York : Cambridge University Press , c1995, 2004. - (Cambridge tracts in theoretical computer science ; 41)

    書誌ID=2001665346 NCID=BA67888868



  • 4.
    図書

    Probabilistic networks and expert systems / Robert G. Cowell ... [et al.]

    New York : Springer , c1999. - (Statistics for engineering and information science)

    書誌ID=2000819469 NCID=BA42796238



  • 5.
    図書

    Fuzzy sets in approximate reasoning and information systems / edited by James C. Bezdek, Didier Dubois and Henri Prade

    Boston : Kluwer Academic , c1999. - (The handbooks of fuzzy sets series ; FSHS 5)

    書誌ID=2000788904 NCID=BA4302910X



  • 6.
    図書

    Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)

    Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence)

    書誌ID=2000798436 NCID=BA42176007



  • 7.
    図書

    Dynamic worlds : from the frame problems to knowledge management / edited by Remo Pareschi and Bertram Fronhöfer

    Dortrecht ; Boston : Kluwer Academic , c1999. - (Applied logic series ; v. 12)

    書誌ID=2001472397 NCID=BA41354289



  • 8.
    図書

    Creating personalities for synthetic actors : towards autonomous personality agents / Robert Trappl, Paolo Petta (eds.)

    Berlin ; New York : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1195 . Lecture notes in artificial intelligence)

    書誌ID=2000711431 NCID=BA30259661



  • 9.
    図書

    Solving the frame problem : a mathematical investigation of the common sense law of inertia / Murray Shanahan

    Cambridge, Mass. : MIT Press , c1997. - (The MIT Press series in artificial intelligence)

    書誌ID=2000696181 NCID=BA31549215



  • 10.
    図書

    Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / Peter W. Eklund, Gerard Ellis, Graham Mann, (eds.)

    Berlin : Springer , c1996. - (Lecture notes in computer science ; 1115 . Lecture notes in artificial intelligence)

    書誌ID=2000710991 NCID=BA28155765



  • 11.
    図書

    Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.)

    Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence)

    書誌ID=2000711002 NCID=BA28007134



  • 12.
    図書

    Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira

    Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence)

    書誌ID=2000711043 NCID=BA28155390



  • 13.
    図書

    Partiality, modality, and nonmonotonicity / [edited by] Patrick Doherty

    :hc,:pbk. - Stanford, Calif. : CSLI Publications. - [Dordrecht?] : FoLLI, the European Association for Logic, Language and Information , c1996. - (Studies in logic, language and information)

    書誌ID=2000683142 NCID=BA28376017



  • 14.
    図書

    The logic of partial information / Areski Nait Abdallah

    : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Monographs in theoretical computer science : an EATCS series)

    書誌ID=2000596008 NCID=BA25559189



  • 15.
    図書

    Epistemic logic for AI and computer science / J.-J. Ch. Meyer and W. van der Hoek

    hardback. - Cambridge ; New York : Cambridge University Press , c1995. - (Cambridge tracts in theoretical computer science ; 41)

    書誌ID=2000610359 NCID=BA26281951



  • 16.
    図書

    Diagrammatic reasoning : cognitive and computational perspectives / B. Chandrasekaran, Janice Glasgow, N. Hari Narayanan, editors

    : pbk. - Menlo Park, Calif. : AAAI Press. - Cambridge, Mass. : MIT Press , c1995

    書誌ID=2001660157 NCID=BA25767958



  • 17.
    図書

    Features and fluents : representation of knowledge about dynamical systems / Erik Sandewall

    v. 1. - Oxford : Clarendon Press. - New York : Oxford University Press , 1994-. - (Oxford logic guides ; 30)

    書誌ID=2000581765 NCID=BA24744130



  • 18.
    図書

    Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.)

    : gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 810 . Lecture notes in artificial intelligence)

    書誌ID=2000708286 NCID=BA23176713



  • 19.
    図書

    Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner

    : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 764 . Lecture notes in artificial intelligence)

    書誌ID=2000708821 NCID=BA21747653



  • 20.
    図書

    Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos (eds.)

    : gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 808 . Lecture notes in artificial intelligence)

    書誌ID=2000708833 NCID=BA23013377



  • 選択した資料の一覧表示
  • メール送信
  • ファイル出力
  • EndNote Basic出力
  • Mendeley出力
全選択
  • 1
  • 2
  • 3
  • 4
  • 5
CLOSE

絞込項目

CLOSE

新着案内

  • 図書新着案内
  • 雑誌新着巻号案内
  • AV資料新着案内

タイトルリスト

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

図書館Webサービス

  • 貸出・予約状況照会・貸出延長
  • メールアドレス登録・変更・削除
  • 文献複写・貸借申込み
  • 文献複写・貸借申込み状況照会
  • 教職員図書購入申込み
  • 教職員図書購入申込み状況照会
  • 予算状況照会
  • 予算差引簿
  • パスワード変更(図書館利用者ID専用)

関連

  • HUSCAP
  • 北方資料データベース
  • データベース
  • 附属図書館
  • 北海道大学