Higher order logic theorem proving and its applications
/ Organized by CHEOPS ESPRIT BRA 3215
Higher order logic theorem proving and its applications
Author
/ Organized by CHEOPS ESPRIT BRA 3215Edition 1
0-444-89880-8
list
شناسنامه
Title and Author
Higher order logic theorem proving and its applications / / Organized by CHEOPS ESPRIT BRA 3215Publication Details
آمستردام : : North - Holland، 1993مPhysical Description
xiii ,568 p .؛ :ill . ;23 cm.Subject
Automatic theorem provingCongresses
Logic, Symbolic and mathematical
Congresses
series
(IFIP transactions A:Computer science and technology ,ISSN 0926-5473؛ ;A-20)Added Identifiers
Claesen, Luc J. M، نویسنده .
Gordon,Michael J .C, 1948 -، نویسنده .
Interuniversity Micro - Electronics Center، نویسنده .
Commission of the European Communites، نویسنده .
Gordon,Michael J .C, 1948 -، نویسنده .
Interuniversity Micro - Electronics Center، نویسنده .
Commission of the European Communites، نویسنده .
Language
انگلیسیRetrieval Number
Congress:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
