Computational logic

Name: Computational logic
Author: / J .W .Lloyd ( ed )

نویسنده

/ J .W .Lloyd ( ed )

نسخه 1

فهرست

شناسنامه

عنوان و نام پدیدآور

Computational logic / / J .W .Lloyd ( ed )

مشخصات نشر

برلین : : Springer - Verlag، 1990م

مشخصات ظاهری

ix ,211 p .؛ : ill . ;25 cm.

موضوع

Automatic theorem proving
Congresses
Logic, Symbolic and mathematical
Congresses

فروست

(ESPRIT basic research series؛ )

شناسه های افزوده

Lloyd,J .W ( John Wylie ), 1947 -، نویسنده .

زبان

انگلیسی

شماره بازیابی

کنگره:

انگليسي.

Includes bibliographical references.