Computation, Logic, Philosophy-A Collection of Essays: 1310259314 Masato Online Enterprises

Welcome to movieSville > Other Merchandise > Esoteric Subjects

Enlarge	Computation, Logic, Philosophy-A Collection of Essays 　　　　　　　　　　　　　　8618783
	Price: $46.99
	Quantity:

Item Number : 1310259314
Category: Other Merchandise | Esoteric Subjects
Feel free to contact usif you have any questions regarding this item.

All prices in USD.
All items are brand new factory sealed.

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.

Computation, Logic, Philosophy-A Collection of Essays

Language: English
Author: Wang Hao
Publication Date: 1990 Size: 165x250mm
Number of Pages: 373 Binding: Hardcover
Subject(s): Mathematics

28.00 ISBN: 7030002113

Proudly on

Design and e-commerce solution provided by ChannelAdvisor Corporation.