Symbolic Logic and Mechanical Theoren proving /

---

Description Not Available

---

Trạng thái sẵn có

No copy data

Detail Information

Nhan đề tùng thư

-

Ký hiệu xếp giá

-

Nhà xuất bản

: .,

Số trang/Minh họa

331 tr. ;24 cm.

Ngôn ngữ

English

ISBN/ISSN

121703509

Phân loại

-

Content Type

-

Media Type

-

Carrier Type

-

Lần xuất bản

-

Chủ đề

-

Thông tin chi tiết đặc thù

-

Statement of Responsibility

Chin Liang Chang

Other version/related

Tệp đính kèm

Comments

---

You must be logged in to post a comment