本文に飛ぶ

年 〜
年

検索結果 13 件

Logic for problem solving, revisited

Logic for problem solving, revisited
紙図書
Robert KowalskiBooks on Demandc2014
全国の図書館
  • 著者標目Kowalski, Robert

Computational logic and human thinking : how to be artificially intelligent : pbk : hbk

Computational logic and human thinking : how to be artificially intelligent : pbk : hbk
紙図書
Robert KowalskiCambridge University Press2011
全国の図書館
  • 著者標目Kowalski, Robert

論理による問題の解法 : Prolog入門 (情報処理シリーズ ; 8)

論理による問題の解法 : Prolog入門 (情報処理シリーズ ; 8)
紙デジタル図書障害者向け資料あり
R.コワルスキ 著, 山田真市 [ほか]訳培風館1987.3<M159-1826>
国立国会図書館全国の図書館
  • 著者標目Kowalski, Robert 山田, 真市, 1937-

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski. (Lecture notes in computer science ; 87)

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski. (Lecture notes in computer science ; 87)
紙図書
Springer-Verlag1980.<M159-133>
国立国会図書館
  • 著者標目...bel, W., 1938- Kowalski, Robert

The 8-week cholesterol cure : the revolutionary drug-free approach to lowering blood cholesterol by up 40%

The 8-week cholesterol cure : the revolutionary drug-free approach to lowering blood cholesterol by up 40%
紙図書
Robert E. KowalskiThorsons1990
全国の図書館
  • 著者標目Kowalski, Robert

The 8-week cholesterol cure : how to lower your blood cholesterol by up to 40 percent without drugs or deprivation

The 8-week cholesterol cure : how to lower your blood cholesterol by up to 40 percent without drugs or deprivation
紙図書
Robert E. Kowalski ; foreword by Albert A. KattusHarper & Rowc1987
全国の図書館
  • 著者標目Kowalski, Robert Kattus, Albert A.

Logic programming : proceedings of the fifth international conference and symposium : set v. 1 v. 2

Logic programming : proceedings of the fifth international conference and symposium : set v. 1 v. 2
紙図書
edited by Robert A. Kowalski and Kenneth A. BowenMIT Pressc1988
全国の図書館
  • 著者標目Kowalski, Robert Bowen, Kenneth A. Association...

Logic for problem solving (Artificial intelligence series 7)

Logic for problem solving (Artificial intelligence series 7)
紙図書
Kowalski,RobertElsevier Sci. Pub.1979
全国の図書館

Logic for problem solving : pbk

Logic for problem solving : pbk
紙図書
Robert KowalskiElsevier North Hollandc1979
全国の図書館
  • 著者標目Kowalski, Robert

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : gw : us

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : gw : us
紙図書
edited by W. Bibel and R. KowalskiSpringer-Verlag1980
全国の図書館
  • 著者標目Conference on Automated Deduction Bibel, Wolfgang Kowalski, Robert

8週間で安全にコレステロールを下げる法

8週間で安全にコレステロールを下げる法
紙デジタル図書
ロバート・E.コワルスキー 著, 中村治雄 監訳読売新聞社1989.2<SC741-E20>
国立国会図書館全国の図書館
  • 著者標目Kowalski, Robert E 中村, 治雄, 1932-

Ｔｈｅ　８－Ｗｅｅｋ　Ｃｈｏｌｅｓｔｅｒｏｌ　Ｃｕｒｅ

Ｔｈｅ　８－Ｗｅｅｋ　Ｃｈｏｌｅｓｔｅｒｏｌ　Ｃｕｒｅ
紙図書
ＲｏｂｅｒｔＥ．Ｋｏｗａｌｓｋｉ 著Ｈａｒｐｅｒ　＆　Ｒｏｗ1987
全国の図書館

渕一博 : その人とコンピュータサイエンス

渕一博 : その人とコンピュータサイエンス
紙図書
田中穂積, 黒川利明, 太田耕三, 古川康一, 岡田久雄 編著近代科学社2010.3<M154-J171>
国立国会図書館全国の図書館

検索結果は以上です。

RSS