Computation, Logic, Philosophy-A Collection of Essays

Price: $27.00


Qty. 

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.

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.



Sorry we ran out!

Fill out this form and we will let you know when it comes back in stock

Copyright © 2024 China Scientific Books.