Logic for problem solving

- Kowalski, Robert

関連文献: 1件

著者

- Kowalski, Robert

書誌事項

Logic for problem solving

Robert Kowalski

（Elsevier computer science library, . Artificial intelligence series ; 7）

Elsevier North Holland, c1979

: pbk

大学図書館所蔵件 / 全83件

愛知教育大学附属図書館図

007.1||K8082010417

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

007.64||K002466142

OPAC
会津大学情報センター (附属図書館)図

pbk.QA63.K68

OPAC
茨城工業高等専門学校学術総合情報センター図書館図

548.1/Lo906679

OPAC
茨城大学附属図書館工学部分館分

549:808000450355

OPAC
愛媛大学図書館図

418.6||K9011217525369

OPAC
桜花学園大学・名古屋短期大学図書館図

007.1||Ko951001033982

OPAC
大分大学学術情報拠点(図書館)

519.92||R2-110425161

OPAC
大阪公立大学杉本図書館生科

pbk.410.1//K17100005473

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

: pbk007.6/139905608211

OPAC
大阪大学附属図書館総合図書館

08522003907, : pbk08026018195

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

08325024522

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

418.6/K012112300382

OPAC
小樽商科大学附属図書館

073355

OPAC
香川大学図書館

OPAC
鹿児島大学附属図書館

pbk.418.6/Ko9522188122598, 418.6/Ko9512180086300

OPAC
関西大学図書館図

A149892

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

549.9||K-230405741, : pbk549.9||K-23||B0422121

OPAC
九州大学中央図書館

549.9/Ko 95/1058211981144724

OPAC
九州大学理系図書館

026232003062756

OPAC
九州産業大学図書館

OPAC
京都産業大学図書館

pbk.418.6||K

OPAC
京都大学経済研究所図書室経研

: pbk418||6||Ko 95200042490310

OPAC
京都大学工学部南

: pbkZH||15692074040

OPAC
京都大学数理解析研究所図書室数研

KOW||5||12610876

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

ZD||5612702345

OPAC
熊本大学附属図書館

007.1||Ko,9510071471

OPAC
神戸大学附属図書館自然科学系図書館

548-4-23//7031008502024

OPAC
神戸大学附属図書館総合図書館国際文化学図書館

549-964-K061000078567

OPAC
国立民族学博物館情報管理施設

W1/519.7/KowC840836522

OPAC
埼玉大学図書館図

843272800

OPAC
佐賀大学附属図書館図

: pbk007.1-Ko951405000205, 418.8-Ko 95127028297

OPAC
札幌学院大学図書館

pbk.0920105556

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

116/238100395477

OPAC
島根大学附属図書館

OPAC
湘南工科大学附属図書館

48761

OPAC
拓殖大学八王子図書館

335.9|| ||850T0277856*

OPAC
大学共同利用機関法人人間文化研究機構国立国語研究所

007.64/Ko951000727808

OPAC
筑波大学附属図書館中央図書館

10090380036

OPAC
電気通信大学附属図書館図庫

549.98||Ko952218303454

OPAC
電気通信大学附属図書館研

549.98||Ko952218202984

OPAC
東京科学大学すずかけ台図書館

007.1/Ko214407973

OPAC
東京大学工学部・工学系研究科物計

84:K:151010032363

OPAC
東京大学生産技術研究所図書室図書

F-96:346705874466

OPAC
東京大学先端科学技術研究センター図書室図書室

001:K887600144732

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

11:K:52006024596

OPAC
東京大学大学院人文社会系研究科・文学部図書室心理

3号館Fc:1434800124317

OPAC
東京理科大学神楽坂図書館数学

410.78||Ko 9510027456

OPAC
東北大学附属図書館本館

01810208730

OPAC
東北大学附属図書館北青葉山分館図

pbk.02890020087

OPAC
東北大学附属図書館工学分館図

04850474718

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

pbk.101124097

OPAC
富山大学附属図書館図

401||K8412900076773

OPAC
富山大学附属図書館芸術文化図書館図

417.7||Ko95||3860040638600406

OPAC
同志社大学図書館

A007.1;K55367;9320273835

OPAC
長岡技術科学大学附属図書館

418-KO953010794

OPAC
長崎総合科学大学附属図書館

007.6||KO9000625

OPAC
名古屋工業大学図書館

pbk.549.92||Ko 95

OPAC
名古屋大学工学図書室工中央書庫

007.1||K50013380

OPAC
名古屋大学工学図書室工情報

007.64||K40722841

OPAC
名古屋大学工学図書室工未来社会

: pbk007.64||K41286656

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

007.64/Ko9520008863

OPAC
兵庫教育大学附属図書館研

00008828425

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

007.64||242107797

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

007.6|| ||57311043617

OPAC
弘前大学附属図書館本館

: pbk007.1||Ko9505747266

OPAC
広島工業大学附属図書館図書館

hbk.401||L0110932829

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

pbk.007.64/KO0000865883

OPAC
広島大学図書館東図書館

548.1:K6000130190, : pbk548.1:K6000133517

OPAC
広島大学図書館西図書館

418:Ko-951000202947, : pbk007.64:Ko-951000325259

OPAC
福井大学附属図書館

007.68308512

OPAC
福岡大学図書館

10565734

OPAC
放送大学附属図書館

hbk.007.6||Ko 9511518013

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

C51.2||K5080788

OPAC
北海道大学大学院工学研究科・工学部図書室図書

519.7/k8493570451271

OPAC
北海道教育大学附属図書館岩見沢館

NDC7:418.6/Ko813012282

OPAC
三重大学附属図書館

: pbk007.64/Ko 9529471658

OPAC
宮城学院女子大学図書館

: pbk00256440

OPAC
室蘭工業大学附属図書館図

pbk.535.5670282

OPAC
山形大学中央図書館

007//C 2//1-7400160779

OPAC
山口大学図書館工学部図書館

418.6/K6902081560346

OPAC
立命館大学図書館

pbk.7110183725

OPAC
龍谷大学瀬田図書館図

38840203025

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

Bibliography: p. 247-260

Includes index

Logic for problem solving

著者

書誌事項

大学図書館所蔵件 / 全83件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

Logic for problem solving

著者

書誌事項

大学図書館所蔵 件 / 全83件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

大学図書館所蔵件 / 全83件