知識と推論

- 森下, 真一モリシタ, シンイチ

Related Books: 1

Author(s)

- 森下, 真一モリシタ, シンイチ

Bibliographic Information

知識と推論

森下真一著

（情報数学講座, 10）

共立出版, 1994.1

Title Transcription: チシキトスイロン

Access to Electronic Resource 1 items

知識と推論
1994

NDL Digital Collections

Limited

Available at / 253 libraries

Aichi Gakuin University Library and Information Center図

401/0135/1000803542

OPAC
Aichi University of Education Library図

410.12||M8396008116

OPAC
愛知県立大学長久手キャンパス図書館

007.1/10/110203844204

OPAC
愛知工業大学附属図書館図

007.1||M003055670

OPAC
愛知大学名古屋図書館図

410:J66:109521021857

OPAC
青森公立大学図書館図

007.1/Mo6500038331

OPAC
青山学院大学図書館

009729043

OPAC
秋田県立大学附属図書館本荘キャンパス図書館

007.1:J66:1000125513

OPAC
秋田工業高等専門学校図書館

007.1||Mo6510100475

OPAC
秋田公立美術大学附属図書館

0037516

OPAC
足利大学附属図書館

1091017

OPAC
跡見学園女子大学茗荷谷図書館

410.96||Mo651112990898

OPAC
石巻専修大学図書館開架

410.96:Mo650010115376

OPAC
Ibaraki University Library, Hitachi Branch分

410.8:Joh:10219400011,219501324,219701874

OPAC
Iwate University Library

410.8:J66:100011120334

OPAC
宇都宮大学附属図書館陽東分館分

007.1||Mo65

OPAC
宇部工業高等専門学校図書館

410.96||||951198078312

OPAC
Edogawa University Library and Information Center図

007.1/J66/1010369087

OPAC
愛媛大学図書館研

410.8/ZY/1019403057

OPAC
追手門学院大学附属図書館図

00392857

OPAC
Oita University Library

007.1||MS3112796468

OPAC
大阪大谷大学図書館

410.8//J//10T309008*

OPAC
Osaka Kyoiku University Library

007.1||Mo20001377745

OPAC
大阪工業大学図書館中央

007.1||J||1019402256

OPAC
大阪工業大学図書館枚方分館情報

89620933

OPAC
Library & Science Information Center, Osaka Prefecture University

20010052430

OPAC
大阪産業大学綜合図書館

410.96/1303493160

OPAC
Main Library, the University of Osaka

10302101109

OPAC
大阪大学附属図書館理工学図書館

12400089616

OPAC
大島商船高等専門学校図書館

007.08||J1||10,401||J1||10AA000048108,A000049810

OPAC
岡山県立大学附属図書館

1:00257189

OPAC
Okayama University Library工情報

007.1||M019000056674*

OPAC
Okayama University Library養数学

007.1||MH019000046855*

OPAC
沖縄工業高等専門学校

007.1||H72||100000000001914

OPAC
沖縄国際大学図書館

007.1/J-66/1000347608

OPAC
Ochanomizu University Library図

418/J66/10096010078242

OPAC
Kagawa University Library

OPAC
香川大学図書館創造工学部分館

3210000979

OPAC
The International University of Kagoshima Library図

T1000307041*

OPAC
Kanagawa Institute of Technology

007.1||M11112918

OPAC
神奈川大学図書館

BB9402146

OPAC
Kanazawa University Library研究室

410.96:M8619600-07315-5

OPAC
Kanazawa University Library研究室

007.1:M8619308-01443-8

OPAC
Kanazawa University Library研究室

9600-04339-6(計算数理)

OPAC
Kanazawa University Library研究室

007.1:M8610000-07988-X

OPAC
Kanazawa University Library研究室

007.1:J73:109400-05060-7

OPAC
Kanazawa University Library研究室

410.96:M8619600-07315-5(渡辺)

OPAC
Kanazawa University Library自然図自動書庫

007.1:M8619308-01237-0

OPAC
Kamakura Women's University

007.108||Kyo||101111022

OPAC
川崎医療福祉大学附属図書館

410.8/Joh2110030198

OPAC
北見工業大学図書館図

410.12//MO65S123594*

OPAC
Kyushu Institute of Technology Library図

T1008139*

OPAC
九州工業大学附属図書館情報工学部分館

549.9||J-74||10-B6002064

OPAC
九州国際大学図書館

1002363932

OPAC
Kyushu University Design Library

401.08/H72/10072031195023873

OPAC
Science and Technology Library, Kyushu University

007.1/J 66/(10)072031196017628

OPAC
九州ルーテル学院大学図書館

410/J/1001004023

OPAC
九州産業大学図書館

10748081

OPAC
九州情報大学附属図書館

037159, 024052

OPAC
九州女子大学・九州女子短期大学附属図書館図

007.108||J 66||1031016599

OPAC
Kyoto University of Education Library図

007.1||MO 6504101712

OPAC
Kyoto Institute of Technology Library図

401||J66||109940002303

OPAC
Kyoto Sangyo University Library

410.8701654

OPAC
京都女子大学図書館図

410.96/Mo65/1994071729

OPAC
Katsura Library, Kyoto University図

007.1||C||494048008

OPAC
Yukawa Institute for Theoretical Physics, Kyoto University基物研

X-K1||JOH||1094087542

OPAC
京都大学工学部南

156||122||1096088706

OPAC
Library, Research Institute for Mathematical Sciences, Kyoto University数研

MOR||21||193074573

OPAC
京都大学大学院情報学研究科

007||JSK||1096088834

OPAC
京都大学吉田南総合図書館図

410.9||C||395027160

OPAC
京都大学理学部数学

和||もり・25||0194013951

OPAC
Library, Faculty of Engineering, Kinki University図書館

410.96||Mo6551018643

OPAC
Library, Faculty of Engineering, Kinki University図書館

410.96||Mo6511090434

OPAC
Kindai University Central Library中図

05024329

OPAC
Kinjo Gakuin University Library

410/Mo650419915

OPAC
岐阜聖徳学園大学羽島キャンパス図書館

007/J/10101210922

OPAC
Gifu University Library

OPAC
熊本学園大学図書館

005011430

OPAC
熊本県立大学図書館図

007.08||J 66||100000163848

OPAC
熊本高等専門学校八代キャンパス図書館

1131053135

OPAC
Kumamoto University Library図書館

007.1||J,66||(10)||08-448610257361

OPAC
倉敷芸術科学大学図書館

100025073

OPAC
Gunma Univ. Library図書館

007.1:Mo65009604628

OPAC
Science and Technology Library of Gunma University図書館

007.1:J66:10200201448

OPAC
県立広島大学庄原学術情報センター図書館

007.1||J66||1000068268

OPAC
Kogakuin University. Library

007.1||ジョ||1011123282

OPAC
Kochi University of Technology.Library

007.1||J66||1000001550

OPAC
Kochi Univ. Library

15334422

OPAC
神戸学院大学図書館有瀬館

410.96||MOR||C0334641

OPAC
神戸芸術工科大学情報図書館

064459

OPAC
Kobe University Library for Maritime Sciences

409-211996171

OPAC
Kobe University Library for Science and Technology

548-01-160//C030309403263

OPAC
Kobe University Library for Human-Development Sciences

410.8-13//10s040009602928*

OPAC
公立諏訪東京理科大学図書館図

007.1||J 66||1093035585

OPAC
公立大学法人福井県立大学附属図書館図

410.8/JO/1098003180

OPAC
公立はこだて未来大学情報ライブラリー

410.8||Jo||10000037607, 410.8||Jo||10000006957

OPAC
国立研究開発法人水産研究・教育機構水産大学校

410.8||J082149

OPAC
国立研究開発法人理化学研究所図書館

610||JOH||10B9602232

OPAC
National Institute of Informatics

2001||432100124893

OPAC
Saitama University Library数学

020034503

OPAC
札幌大学図書館

410.8||J66||10

OPAC
札幌学院大学図書館

0930115759

OPAC
サレジオ工業高等専門学校図書館

007.1/モリ000396457

OPAC
産業技術短期大学図書館

007.1/Zy3/100B039327

OPAC
Shiga University Library

007.1||Mo 65093006567

OPAC
静岡産業大学図書館図

410.8//JY//10T24170*

OPAC
静岡大学附属図書館静図

007.1/MO650094028776

OPAC
静岡大学附属図書館浜松分館浜図

007/J66/108096045649

OPAC
Shizuoka Institute of Science and Technology

007.109400903

OPAC
Shimane University Library

OPAC
Shinshu Univ.Library理

007.1:Mo650010997088

OPAC
城西国際大学水田記念図書館

0097015216

OPAC
Sophia University Library中央

410.96:Mo655001355754

OPAC
椙山女学園大学中央図書館図

100S05039

OPAC
鈴鹿工業高等専門学校図書館

410.96||モリシタ8053861

OPAC
駿河台大学メディアセンター

410.96||Mo 6500010118

OPAC
Seikei University Library

401||261||100098105479

OPAC
Senshu University Library図

10686704

OPAC
仙台高等専門学校名取キャンパス図書館

900048233

OPAC
仙台高等専門学校広瀬キャンパス図書館

007.1||J2||10S00021790

OPAC
崇城大学図書館

410.96||M||H15 指定3034509

OPAC
高千穂大学図書館

410.8||J66||109401918

OPAC
高松大学附属図書館

95100407

OPAC
拓殖大学八王子図書館

410.96|| ||201300507478

OPAC
Tamagawa University Library & Multimedia Resource Center

OPAC
大同大学図書館

001429455

OPAC
千葉科学大学図書館図

007.1||モ100000574

OPAC
千葉工業大学附属図書館

||007.1||Mo436703

OPAC
千葉商科大学付属図書館

410.12/Mo659400328308

OPAC
Chiba University Library図

410.12||MO650009415244

OPAC
Chiba University Library研

098105048

OPAC
CHUBU UNIVERSITY MIURA MEMORIAL LIBRARY図

N230546A

OPAC
University of Tsukuba Library

10093013597

OPAC
University of Tsukuba Library, Library on Library and Information Science

007.63:Mo-65930035680

OPAC
津田塾大学図書館

410.96/Mo65J105357

OPAC
津田塾大学図書館図

410.96/Mo65J105357

OPAC
鶴見大学図書館

410.8||J||10H9311268*

OPAC
帝京科学大学附属図書館東京西図書館

007.1||MO659401477592

OPAC
帝京大学福岡キャンパス図書館

410.96 //MO65100000026186

OPAC
帝塚山学院大学図書館図

007.1||シヨ||10903768

OPAC
The University of Electro-Communications Library図庫

548.1/Mo652219408025

OPAC
The University of Electro-Communications Library研

401/Mo65,548.1/Mo652219807664

OPAC
Tokai University Isehara Campus Library

QA10.4/J/1001443241

OPAC
東京工科大学メディアセンター

007.1||M233802

OPAC
東京医療保健大学附属世田谷図書館

103316

OPAC
Etchujima library, Tokyo University of Marine Science and Technology図

410.8||J 1||10180382

OPAC
東京科学大学大岡山図書館

404/M116245728

OPAC
Institute of Science Tokyo Suzukakedai Library

404/M21624334X

OPAC
Tokyo Gakugei University Library図

410.108/Ky519400675

OPAC
Tokyo Gakugei University Library教総セ

410.108/Ky519400596

OPAC
Tokyo Gakugei University Library数学

410.108/Ky519402616

OPAC
東京工業高等専門学校図書館

0074750

OPAC
東京女子大学図書館

0155526

OPAC
東京大学柏図書館開架

007.1:J66:108410051901

OPAC
東京大学工学部・工学系研究科図書

007.1:J66:101010702056

OPAC
University of Tokyo, Komaba Library駒場図

007.08:J66:103010355174

OPAC
General Library,University of Tokyo

007.1:J66:100011217304

OPAC
東京大学大学院情報理工学系研究科CS図

39:J:4.102010093314

OPAC
東京大学大学院情報理工学系研究科電子情研(工電気)

018:431:X D2310001900

OPAC
東京電機大学総合メディアセンター千葉センター

401/J-66/107000006352

OPAC
Tokyo Metropolitan College of Industrial Thechnology Shinagawa Library

007.13/Mo65100086578

OPAC
東京都立大学図書館日野館図

/007.108/J/10101656775

OPAC
東京理科大学野田図書館野図

007.108||J 73||1060283600

OPAC
Tohoku Institute of Technology Library

N1:548.100||AT:J||KN:0101932987

OPAC
東北大学電気通信研究所図書室

06020003721

OPAC
Tohoku Univ. Main Library本館

00950073424

OPAC
Kita-Aobayama Library,Tohoku University図

02930024111

OPAC
Tohoku University Engineering Library図

03940022197

OPAC
Tohoku University Engineering Library情報

00940110096

OPAC
Toyo University Akabanedai Library

007.1:J-5:1-100201556032

OPAC
東洋大学附属図書館川越図書館

410.8:J:1-100310109657

OPAC
Tokushima University Library

007.1||Mo203001885

OPAC
常葉大学附属図書館(瀬名)

007.1//J66//10T093239*

OPAC
常葉大学附属図書館(浜松)

007.1/J66/101200090700

OPAC
Tottori University Library図

410.96:Chi0010380293

OPAC
富山県立大学附属図書館射水館

101223972

OPAC
University of Toyama Library, Central Library図

410.96||M82||Ch11025107

OPAC
豊田工業高等専門学校図書館

007.1||Mo0069991

OPAC
豊橋創造大学附属図書館

007.1||Jo||10T060044

OPAC
Nagaoka Universtiy of Technology Library

11192002

OPAC
長崎県立大学佐世保校附属図書館

410||J66||1001936449

OPAC
Nagasaki University Library Central Library

007.1||94||101472415

OPAC
Kyoto University Library

410.1||Mo 6594100777

OPAC
名古屋市立大学総合情報センター北千種分館

007.1||Hi||1070001845

OPAC
名古屋市立大学総合情報センター山の畑分館

410.8||Jo||1080135403

OPAC
Nagoya University Library中央館

007.1||Mo1147843

OPAC
Nagoya University Library文電子

007.1||Mo11450883

OPAC
Nagoya University Library理数理学生

叢書||シスコ||10||禁11152601

OPAC
名古屋文理大学図書情報センター

007/J66/10110011323

OPAC
奈良教育大学図書館

410.8||75||10イ1950010112

OPAC
Nara Women's University Academic Information Center

OPAC
Digital Library of Nara Institute of Science and Technology図

AB||37||100019974

OPAC
鳴門教育大学附属図書館

410.96//もら65T1046951*

OPAC
南山大学ライネルス中央図書館図

0678188

OPAC
新潟経営大学図書館図

0059036

OPAC
Niigata Institute of Technology Library

第10巻007.1/J66/10000015405

OPAC
新潟国際情報大学情報センター

007.1/H72/1010038461

OPAC
Niigata University Library図

007//J66//101300642067

OPAC
日本国際学園大学附属図書館

2002100579

OPAC
日本大学芸術学部図書館 (所沢)一

007.1||J66||10F0000198535

OPAC
日本大学工学部図書館図

410.8||J 66 H||(10)J9504430

OPAC
日本大学生産工学部図書館図

410.960921115150

OPAC
日本大学文理学部図書館

410.1||Mo 6514558037

OPAC
日本大学文理学部図書館数情

410.1||Mo 6514604773

OPAC
ノートルダム清心女子大学附属図書館

410.96/M1202403100

OPAC
八戸工業大学図書館

549.92-M009718

OPAC
阪南大学図書館図

410.8||6||1010000830728

OPAC
梅花女子大学図書館

H0027236*

OPAC
Himeji Dokkyo University Library図

164972

OPAC
Hyogo University of Teacher Education研

410.8//JO00010037281

OPAC
兵庫県立大学神戸商科学術情報館

007.1||81410215727

OPAC
兵庫県立大学神戸情報科学学術情報館

007.1||116610005322

OPAC
兵庫県立大学姫路環境人間学術情報館

007.1||10||106311081013

OPAC
Hirosaki University Library本館

007.1||J66||1006455282

OPAC
Hiroshima Shudo University Library

1

OPAC
広島市立大学附属図書館

410.96/モリ0001039993

OPAC
Hiroshima University Central Library, Interlibrary Loan

007.1:Mo-65/HL0134000100403980

OPAC
福井工業高等専門学校図書館

007.1||ZYO||10B079789

OPAC
福井大学附属図書館

007.1||ZYO||10019806351

OPAC
University of Teacher Education Fukuoka Library図

411.11||MO65||シテイ(スウガク)1194022384

OPAC
福岡工業大学附属図書館図書館

007.1/Mo651417918

OPAC
福岡女子大学附属図書館

410.8/Ky5/10010142191

OPAC
福岡大学図書館

10980632

OPAC
平安女学院大学図書館 (高槻キャンパス)旧守山蔵書

007.1-J66-1000000589

OPAC
北星学園大学図書館

410.12||MA-219750

OPAC
北陸先端科学技術大学院大学附属図書館図

412.1||J||101942855

OPAC
北陸先端科学技術大学院大学附属図書館研究科

412.1||J||101020424

OPAC
Hokkai-Gakuen University図

007.1/J66/100240152

OPAC
Hokkai-Gakuen University工

007.1/JOH/100052769

OPAC
北海道科学大学図書館

410.96||MO65010072625

OPAC
Hokkaido University, Faculty and Graduate School of Engineering図書

511.3/JOH3570572951

OPAC
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science数学

/M826/2080077892

OPAC
北海道大学附属図書館図

dc20:511.3/joh0172065242

OPAC
防衛省防衛大学校総合情報図書館

OPAC
松山大学図書館

410.8||J 4||1021089805

OPAC
Mie Univ. Library

410.1/Mo 6569313136

OPAC
Miyagi University Taihaku Campus Library

410.8||ジ||10300037452

OPAC
都城工業高等専門学校図書館

9305966600006

OPAC
University of Miyazaki Library/ Library Director:Ikari Tetsuo

410.96/M3/1A00442586

OPAC
Muroran Institute of Technology Library図

401388073

OPAC
名桜大学附属図書館

007.1||Mo 65001508514

OPAC
Meiji Gakuin University Library図

007.108:J73:100006389100

OPAC
Meiji University Library生

401||756||||S19325745

OPAC
Insutitute of Technologists Library図情セ

007.1||J66||1000003625

OPAC
Yamagata University Library

410.8//ジヨウ//10119307377

OPAC
General Library Yamaguchi University

0093164928

OPAC
The University of Yamanashi Library

007.10940027088

OPAC
横浜国立大学附属図書館図

007.1||MO

OPAC
酪農学園大学附属図書館図

09402180

OPAC
Rikkyo University Library

95-03666

OPAC
Ritsumeikan University Main Library

0113792827

OPAC
龍谷大学瀬田図書館図

39500215075

OPAC
和歌山大学教育機構学術情報センター図書館

119950009466

OPAC
No Libraries matched.
Remove all filters.

Search this Book/Journal

Note

参考文献: p[199]-202. 索引: 巻末

Description and Table of Contents

Table of Contents

第１章　論理に基づく知識の表現と推論
第２章　一階述語論理
第３章　論理プログラム
第４章　否定を含む論理プログラムによる非単調推論

by "BOOK database"

知識と推論

Author(s)

Bibliographic Information

Access to Electronic Resource 1 items

Available at / 253 libraries

Search this Book/Journal

Note

Description and Table of Contents

Related Books： 1-1 of 1

Details

Export