Computational logic
/ J .W .Lloyd ( ed )
Computational logic
Author
/ J .W .Lloyd ( ed )Edition 1
list
شناسنامه
Title and Author
Computational logic / / J .W .Lloyd ( ed )Publication Details
برلین : : Springer - Verlag، 1990مPhysical Description
ix ,211 p .؛ : ill . ;25 cm.Subject
Automatic theorem provingCongresses
Logic, Symbolic and mathematical
Congresses
series
(ESPRIT basic research series؛ )Added Identifiers
Lloyd,J .W ( John Wylie ), 1947 -، نویسنده .
Language
انگلیسیRetrieval Number
Congress:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
