Gå direkt till innehållet
Logic and Computer Science
Spara

Logic and Computer Science

Lägsta pris på PriceRunner
The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
Undertitel
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Upplaga
1990 ed.
ISBN
9783540527343
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1990-07-17
Sidor
170