Jump to main content

yr 〜
yr

Search results 13

Logic for problem solving, revisited

Logic for problem solving, revisited
Paper図書
Robert KowalskiBooks on Demandc2014
Other Libraries in Japan
  • Author HeadingKowalski, 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
Paper図書
Robert KowalskiCambridge University Press2011
Other Libraries in Japan
  • Author HeadingKowalski, Robert

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

論理による問題の解法 : Prolog入門 (情報処理シリーズ ; 8)
PaperDigital図書障害者向け資料あり
R.コワルスキ 著, 山田真市 [ほか]訳培風館1987.3<M159-1826>
National Diet LibraryOther Libraries in Japan
  • Author HeadingKowalski, 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)
Paper図書
Springer-Verlag1980.<M159-133>
National Diet Library
  • Author Heading...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%
Paper図書
Robert E. KowalskiThorsons1990
Other Libraries in Japan
  • Author HeadingKowalski, 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
Paper図書
Robert E. Kowalski ; foreword by Albert A. KattusHarper & Rowc1987
Other Libraries in Japan
  • Author HeadingKowalski, 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
Paper図書
edited by Robert A. Kowalski and Kenneth A. BowenMIT Pressc1988
Other Libraries in Japan
  • Author HeadingKowalski, Robert Bowen, Kenneth A. Association...

Logic for problem solving (Artificial intelligence series 7)

Logic for problem solving (Artificial intelligence series 7)
Paper図書
Kowalski,RobertElsevier Sci. Pub.1979
Other Libraries in Japan

Logic for problem solving : pbk

Logic for problem solving : pbk
Paper図書
Robert KowalskiElsevier North Hollandc1979
Other Libraries in Japan
  • Author HeadingKowalski, 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
Paper図書
edited by W. Bibel and R. KowalskiSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingConference on Automated Deduction Bibel, Wolfgang Kowalski, Robert

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

8週間で安全にコレステロールを下げる法
PaperDigital図書
ロバート・E.コワルスキー 著, 中村治雄 監訳読売新聞社1989.2<SC741-E20>
National Diet LibraryOther Libraries in Japan
  • Author HeadingKowalski, Robert E 中村, 治雄, 1932-

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

Ｔｈｅ　８－Ｗｅｅｋ　Ｃｈｏｌｅｓｔｅｒｏｌ　Ｃｕｒｅ
Paper図書
ＲｏｂｅｒｔＥ．Ｋｏｗａｌｓｋｉ 著Ｈａｒｐｅｒ　＆　Ｒｏｗ1987
Other Libraries in Japan

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

渕一博 : その人とコンピュータサイエンス
Paper図書
田中穂積, 黒川利明, 太田耕三, 古川康一, 岡田久雄 編著近代科学社2010.3<M154-J171>
National Diet LibraryOther Libraries in Japan

Reached to the end of result.

RSS