CiNii 図書 - Justification logic : reasoning with reasons

著者

書誌事項

Justification logic : reasoning with reasons

Sergei Artemov, Melvin Fitting

（Cambridge tracts in mathematics, 216）

Cambridge University Press, 2019

: hardback

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

青山学院大学万代記念図書館(相模原分館)

: hardback881950022

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

: hardback12200328610

OPAC
金沢大学附属図書館研究室

: hardback410.1:A7862000-75547-X

OPAC
学習院大学図書館数学図

: hardback510/217/2160200625960

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

: hardbackART||10||1200039115482

OPAC
京都大学理学部数学

: hardbackSer.||E 2||06-214200037029011

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

: hardback410-8-43//216030201900236

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

: hardback410.9/A790019503176

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

: hardback410.1-A7910019012627

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

: hardback410.1/A792023100610

OPAC
東海大学付属図書館12

: hardback410.8||C||21602870485

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

: hardback410.12/A300794394

OPAC
東京大学柏図書館数物

: hardbackM:Artemov8950148380

OPAC
東京大学数理科学研究科図書

: hardbackFU:Artemov:S.8010743956

OPAC
東京都立大学図書館数学

: hardback/410.8/C14c/21610005331717

OPAC
東北学院大学コラトリエ・ライブラリー(図書館)

: hardbacka3020001383b

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

: hardback02190024648

OPAC
名古屋工業大学図書館

: hardback410.8||C 14||216

OPAC
名古屋大学理学図書室理数理

: hardbackART||0.55||141662307

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

: hardbackC22.3||A5190325

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

: hardback/AR 752080468075

OPAC
明治学院大学図書館横図

: hardback511.3:A781101064622

OPAC
名城大学附属図書館図

: hardback410.8||C178||2162125824

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

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 234-243) and index

Justification logic : reasoning with reasons

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Justification logic : reasoning with reasons

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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