【ここから本文】

From Logic Design to Logic Programming

著者名:
Dominique Snyers & Andre Thayse
出版元:
Springer-Verlag, Berlin?Heidelberg?New York
冊数:
1冊
刊行年:
1987年

経年の紙質変色少有・カバー無し本・ビニールコーティング付・良好・A5大判・125頁 H【物33】z083*1n

No.
92030
価格:
2,750円



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


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

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

連想検索による関連商品

A LOGICAL JOURNEY From Godel to Philosophy

3,300円

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

6,600円

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

7,700円

Jacqueline Kennedy Onassis :The Making of a First Lady

2,200円

Our Knowledge of the External World

1,727円

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

3,300円

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

3,630円

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

15,400円

Treatise on Basic Philosophy Volume3

5,500円

MATHEMATICAL THOUGHT : An Introduction to the philosophy of mathematics

1,100円

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

2,750円

Treatise on Basic Philosophy Volume5

4,400円

Treatise on Basic Philosophy Volume2

8,800円

Treatise on Basic Philosophy Volume8

4,400円

Treatise on Basic Philosophy Volume4

5,500円

True Life in God

7,700円

Treatise on Basic Philosophy Volume6

6,600円

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

2,750円

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

2,200円

Treatise on Basic Philosophy Volume7(Part1,2)揃

11,000円

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

1,650円

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

9,900円

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

2,530円

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

9,900円

3 PHILOSOPHERS, ARISTOTLE, AQUINAS, FREGE

2,970円

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

2,200円

READING PUTNAM :パットナムを読む

2,970円

TRENDS IN GENERAL SYSTEMS THEORY

1,320円

Kant, An Introduction

1,980円

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

3,300円

SYMBOLIC LOGIC

1,650円

Kurt Godel Unpublished Philosophical Essays

4,950円

Navies of the West

2,640円

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

880円

MEGA SHOT 1995年 08月号

1,430円

Automated Theorem−Proving :自動定理証明

2,750円

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

2,420円

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

5,170円

Hypothetical Reasoning :仮説推論

1,650円

KUNDO:Age of the Rampant :韓国映画パンフレット

1,100円

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

3,850円

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

1,870円

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

880円

The Broken Ear (Adventures of Tintin)

1,320円

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

1,650円

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

6,050円

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

1,870円

QUANTUM PHILOSOPHY, Understanding and  Interpreting :量子哲学

2,200円

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

5,500円

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

1,100円

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

770円

THE KOREA REVIEW (VOL.1〜VOL.6) :1901〜1906年(英文)

33,000円

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

2,750円

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

7,700円

The Story of CNBLUE NEVER STOP :韓国映画パンフレット

1,100円

マンガでわかる電気数学

1,100円

岬まで :to the cape

1,650円

30周年記念 For FAN PART1 [DVD]

1,650円

和様の書 :The beauty of Japanese−style calligraphy

1,650円

一休道歌 (上・下巻) :TAKE IT EASY

8,800円

Be with you いま、会いにゆきます :韓国映画パンフレット

1,100円

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

770円

πの歴史

880円

日本童謡集 :ON BOOKS(32)

550円

女同士のSEXマニュアル

880円

Pop Art

1,980円

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

11,000円

DVDで覚える 回遊魚のルアー釣り :(BIG1 163)

715円

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

1,320円

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

44,000円

絶対満足美人 :人気風俗GAL26人PINKの素肌

2,200円

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

660円

TAIKOH[太閤]−桃山の華− 1st.Exhibition 第1回リフレクションクロカベ ブランド発表会2003

1,100円

BAPE STA!PROWRESTLING [DVD]

2,200円

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

11,000円

on reading

440円

秘法 超能力仙道入門 :ムー・ブックス(8)

2,860円

先史世界の発掘 :四大陸に眠る生物と人類

660円

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

1,650円

Joseph Chamberlain :Entrepreneur in Politics

4,950円

神経研究の進歩 Vol.25−Vol.35

55,000円

神経精神薬理Vol1−Vol13(Vol.7欠)

77,000円

アルコール医療研究 Vol.1−Vol.8

27,500円

済州島世界−特集 :「地理」Vol.43−5

1,100円

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

770円

アナトール・フランス全集 全25巻(フランス語版) :OE UVRES COMPLETES DE ANATOLE FRANCE

110,000円

オール・クリア1 :新☆ハヤカワ・SF・シリーズ

990円

NHK 岩合光昭の世界ネコ歩き BGM集

1,430円

夢幻諸島から :新☆ハヤカワ・SF・シリーズ

770円

てんかん研究 Vol.1−Vol.8

33,000円

不条理日記 :SFギャグ傑作集

880円

宇宙船 Vol.181 :HOBBY JAPAN MOOK

770円

DNAの一世紀 (全2冊) :分子生物学への道

1,650円

BS T−スクエア スーパーベスト

5,500円

アール・ヌーボー・コレクション Vol.1・2

1,650円

美少女紀行 東欧編 vol.3. :バンブームック

3,300円

ライフル :オールカラー版

1,650円

BLONDE FREAK ブロンドフリーク :DICK 6月増刊号

3,080円

たがみよしひさマガジン :別冊SFイズム 3

1,100円

ブラックアウト :新☆ハヤカワ・SF・シリーズ

880円