Author: Wang Hao
Language: English
ISBN/ISSN: 7030002113
Published on: 1990-01
Hardcover
This is a collection of research papers by Wang Hao, a distinguished logician with international fame. All these papers, most of which have been published in various academic journals in the last 30 years, are related to a single theme: logic and computers. Among them are the pioneering papers on automated theorem proving, written by Wang back in the sixties-papers which actually opened up a new horizon and for which Wang was awarded the milestone prize o ATP in 1982.
Language: English
ISBN/ISSN: 7030002113
Published on: 1990-01
Hardcover
This is a collection of research papers by Wang Hao, a distinguished logician with international fame. All these papers, most of which have been published in various academic journals in the last 30 years, are related to a single theme: logic and computers. Among them are the pioneering papers on automated theorem proving, written by Wang back in the sixties-papers which actually opened up a new horizon and for which Wang was awarded the milestone prize o ATP in 1982.
The investigation into the relationship between mathematical logic and computer science is an area which has attracted the attention of many researchers in recent years.