Scan barcode
170 pages • missing pub info (editions)
ISBN/UID: 9783540527343
Format: Paperback
Language: English
Publisher: Springer
Publication date: 17 July 1990
Description
The courses given at the 1st C.I.M.E. 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: S. Homer: The Isomorphism C...
Community Reviews
Content Warnings
170 pages • missing pub info (editions)
ISBN/UID: 9783540527343
Format: Paperback
Language: English
Publisher: Springer
Publication date: 17 July 1990
Description
The courses given at the 1st C.I.M.E. 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: S. Homer: The Isomorphism C...