【ここから本文】

Automated Theorem−Proving in Non−Classical Logics :非古典的論理における自動定理証明

著者名:
P. B. THISTLEWAITE, M. A. McROBBIE, R. K. MEYER
出版元:
Pitman / John Wiley & Sons, Inc.
冊数:
1冊
刊行年:
1988年

カバー無し本・ビニールコーティング付¥良好・A5大判・154頁 H【物34】pz083*1n

No.
87255
価格:
2,200円



古本買取・古書買取は実績のある大阪の日之出書房へ


 日之出書房南巽本店・平野喜連店・近鉄今里店で38年、お客様より信頼を受けています。
 日之出書房だからできる誠実・高価査定
 本の心、お売りになるお客様の心、来店されるお客様の心 を大切に致します。
 和本・学術書・専門書・資料類・単行本・文庫・雑誌など事前見積りは無料です。
 大阪・関西一円・全国へ 古書・古本の出張買取いたします。
 お気軽にお問い合わせください。

 〒544-0014
  大阪市生野区巽東2丁目19-31
      電話番号  06(6758)0506
      ファックス  06(6758)6631
      Eメ−ル   hinode444@max.hi-ho.ne.jp
      ホームページ http://hinode.koshoten.net/
大阪市大阪市旭区 大阪市阿倍野区 大阪市生野区 大阪市北区 大阪市此花区 大阪市城東区 大阪市住之江区 大阪市住吉区 大阪市大正区 大阪市中央区 大阪市鶴見区 大阪市天王寺区 大阪市浪速区 大阪市西区 大阪市西成区 大阪市西淀川区 大阪市東住吉区 大阪市東成区 大阪市東淀川区 大阪市平野区 大阪市福島区 大阪市港区 大阪市都島区 大阪市淀川区 堺市堺市北区 堺市堺区 堺市中区 堺市西区 堺市東区 堺市南区 堺市美原区 池田市 泉大津市 泉佐野市 和泉市 茨木市 大阪狭山市 貝塚市 柏原市 交野市 門真市 河内長野市 岸和田市 四條畷市 吹田市 摂津市 泉南市 大東市 高石市 高槻市 豊中市 富田林市 寝屋川市 羽曳野市 阪南市 東大阪市 枚方市 藤井寺市 松原市 箕面市 守口市 八尾市

連想検索による関連商品

Automated Theorem−Proving :自動定理証明

2,750円

Godel〓s Theorem in focus :焦点を当てたゲーデルの定理

1,650円

From Logic Design to Logic Programming

2,750円

Treatise on Basic Philosophy Volume3

5,500円

Scientific Philosophy Today, Essays in Honor of Mario Bunge :今日の科学哲学

15,400円

Treatise on Basic Philosophy Volume4

5,500円

Treatise on Basic Philosophy Volume5

4,400円

Treatise on Basic Philosophy Volume8

4,400円

TRENDS IN GENERAL SYSTEMS THEORY

1,320円

Treatise on Basic Philosophy Volume2

8,800円

Treatise on Basic Philosophy Volume6

6,600円

EARLY WRITINGS IN THE PHILOSOPHY OF LOGIC AND MATHEMATICS :論理学と数学の哲学の初期の執筆

6,600円

NEW DIRECTIONS IN THE PHILOSOPHY OF MATHEMATICS :数学の哲学の新しい方向

3,300円

READING PUTNAM :パットナムを読む

2,970円

Kant, An Introduction

1,980円

Treatise on Basic Philosophy Volume7(Part1,2)揃

11,000円

ANALYSES OF THEORIES AND METHODS OF Physics AND Psychology :理論の解析,物理学的および心理学的方法

3,630円

Our Knowledge of the External World

1,727円

3 PHILOSOPHERS, ARISTOTLE, AQUINAS, FREGE

2,970円

Kurt Godel Unpublished Philosophical Essays

4,950円

A LOGICAL JOURNEY From Godel to Philosophy

3,300円

SYMBOLIC LOGIC

1,650円

A B C of Relativity :相対性理論のA B C

2,530円

unity through diversity, Vol9 part 〓 :多様性による統一,第9部〓

9,900円

ETHER−TECHNOLOGY, A Rational Approach to Gravity Control :イーサネット技術、重力制御への合理的なアプローチ

2,750円

unity through diversity, Vol9 part 〓 :多様性による統一,第9部〓

9,900円

MATHEMATICAL THOUGHT : An Introduction to the philosophy of mathematics

1,100円

Hypothetical Reasoning :仮説推論

1,650円

The PHILOSOPHY of QUANTUM MECHANICS, An :量子力学の哲学、インタラクティブな解釈

2,750円

The Philosophy Behind Physics :物理学の背後にある哲学

2,200円

Relativity and Geometry : 相対性理論と幾何学

2,420円

FROM DEDEKIND TO GODEL (Synthese Library, 251) :デデキントからゴーデルまで

7,700円

PHENOMENOLOGY AND ANALYTICAL PHILOSOPHY :現象論と分析哲学

1,650円

Quantum Theory, Black Holes and Inflation :量子論、ブラックホール、インフレーション

3,300円

Philosophy and Spacetime Physics :哲学と時空物理

1,870円

Geometry and Theoretical physics :幾何学と理論物理学

5,170円

Differential and Difference Equations through Computer :コンピューター実験による微分方程式と差方程式

1,870円

METAPHYSICAL MYTHS, MATHEMATICAL PRACTICE :形而上学的神話、数学の練習

2,750円

QUANTUM PHILOSOPHY, Understanding and  Interpreting :量子哲学

2,200円

QUANTUM MECHANICS, An Empiricist View :量子力学、経験主義的見解

3,850円

SCIENTIFIC MATERIALISM (EPISTEME 9) :科学的唯物論

5,500円

Quantum Mechanics from General Relativity, An Approximation :一般相対性理論からの量子力学、慣性理論の近似

7,700円

マンガでわかる電気数学

1,100円

微分方程式への誘い :放送大学教材

770円

πの歴史

880円

アインシュタインの時代 :物理学が世界史になる

1,320円

Jacqueline Kennedy Onassis :The Making of a First Lady

2,200円

日本童謡集 :ON BOOKS(32)

550円

Complete Book of World War II Combat Aircraft :英語版

6,050円

2色刷 技法解明 数学〓:新課程用 :整理・理解・解法/自在

4,400円

自動車博物館

660円

Joseph Chamberlain :Entrepreneur in Politics

4,950円

Navies of the West

2,640円

リヒテンシュタイン 華麗なる侯爵家の秘宝 :Masterworks from the collections of the prince of Liechtenstein

880円

中国拳法のすべて :Truth In Game 5

770円

刀剣画報 山鳥毛と一文字派 :ホビージャパンMOOK 1038

660円

on reading

440円

The Broken Ear (Adventures of Tintin)

1,320円

別冊1億人の昭和史 日本植民地史2? 満州

880円

絶滅危惧鉄道2023 :イカロスMOOK

1,100円

I〓m a Cyborg, But That〓s OK 2冊セット :韓国映画パンフレット

1,100円

バイバイ

1,100円

自然界と人間の運命 (Part1・2) :進化論と行動学をめぐって/生存への諸問題をめぐって

1,650円

弁証法の論理 :弁証法における体系構成法

1,650円

True Life in God

7,700円

日本自動車博物館 :新今よみがえる男のロマン幻の名車

2,750円

Pop Art

1,980円

よそ者たちの愛

1,430円

刀剣画報 姫鶴一文字と上杉家の刀 :ホビージャパンMOOK1127

770円

「生計を一にする」要件の可否判断 :税務における

1,650円

移動という経験 :日本における「移民」研究の課題

1,100円

科学者と中国古典 名言集

550円

神宿る巨樹 :日本遺産 The marvelous trees in Japan

3,630円

アジアにおける冷戦の起源 :アメリカの対日占領

2,750円

扶桑鐘銘集

3,850円

up! U  アップ・ユー 1995年3月号 Vol.2 No.3

1,650円

バンド・スコア DEEP PURPLE/LIVE IN JAPAN

11,000円

こころの臨床ア・ラカルト Vol.1〜vol.9 No1−No.33

44,000円

Great Opera Stories :The Perfect Introduction to the Magical World of Opera

880円

MEGA SHOT 1995年 08月号

1,430円

日華大辞典 第1巻 :A−I

2,200円

フェラーリ  :輝ける情熱のマシーン :ワールド・カー・ブックス(4)

1,100円

狂気の歴史 :古典主義時代における

3,300円

Coyote コヨーテ No,3 2004年12月号 :特集・島を漕ぎ出で

770円

精神衛生研究 No.13〜No.28 :1964〜1981年

27,500円

キャプテン・スカーレット :ファンタスティックコレクションNo.43

1,320円

デ・ハビランドモスキート :世界の傑作機 NO. 48

715円

ビキニ事件の真実 :いのちの岐路で

990円

鉄道写真の奥義

1,210円

古典古代における伝承と伝記

990円

朴大統領における人間の研究

990円

精神分析研究 VOL.33・Vol.34 :各巻No.4まで

11,000円

週刊 原寸大 日本の仏像 No.10欠の49巻セット

18,700円

知の教科書 ニーチェ

550円

狂牛病 :イギリスにおける歴史

660円

スマリヤンの無限の論理パズル :ゲーデルとカントールをめぐる難問奇問

1,100円

メルセデス・ベンツ :重厚な技術、名車を生む :ワールド・カー・ブックス(10)

1,100円

奥美濃がたり

3,850円

洋書バンドスコア エリッククラプトン レプタイル

7,150円

欧米に於ける支那研究

2,200円