書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- 出版事項
- 出版年月日等
- c1996-
- 出版年(W3CDTF)
- 1996
- 並列タイトル等
- APLS
- 出版地(国名コード)
- ne
- 対象利用者
- 一般
- 一般注記
- Managing editor: Dov M. Gabbay. Co-editor: Jon Barwise. Editorial assistant: Jane Spurr. --from v. 13 (c1999)Publisher varies: Springer
- 関連情報
- A modern perspective on type theory : from its origins until todayMulti-dimensional modal logicNew essays in free logic in honour of Karel LambertGoal-directed proof theoryThe semantics and proof theory of the logic of bunched implicationsInference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognitionAutomated deduction : a basis for applicationsIntellectics and computational logic : papers in honor of Wolfgang BibelFoundations of rational agencyAn introduction to mathematical logic and type theory : to truth through proofProof theory of modal logicAdvances in intensional logicHybrid logic and its proof-theoryFrontiers in belief revisionFallacies arising from ambiguityWhat is negation?Automated model buildingProof theory for fuzzy logicsA textbook of belief dynamics : theory change and database updatingLabelled deductionDynamic worlds : from the frame problems to knowledge managementFoundations of bayesianismAdvances in temporal logicAnalysis and synthesis of logics : how to cut and paste reasoning systemsProof theory and automated deductionLogic, language, and computationRigid flexibility : the logic of intelligenceThirty five years of automating mathematicsFoundations of bayesianismDynamic worlds : from the frame problem to knowledge managementFormal aspects of contextA textbook of belief dynamics : theory change and database updatingHybrid logic and its proof-theoryFuzzy sets, logics and reasoning about knowledgeThe death of argument : fallacies in agent based reasoningAbduction and induction : essays on their relation and integrationReasoning robots : the art and science of programming robotic agentsFrontiers of combining systems : first international workshop, Munich, March 1996Analysis and synthesis of logics : how to cut and paste reasoning systemsLogical and computational aspects of model-based reasoningProof theory of modal logic