Many-Valued Logics 2 : Automated Reasoning and Practical Applications

Bolc, Leonard/ Borowik, Piotr

Springer（2010/12発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版
商品コード 9783642084171

Full Description

Many-valued logics is becoming increasingly important in many branches of science. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics.