Spar
Logic and Computer Science
Forfatter:
heftet, 1990
Engelsk
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.
- Undertittel
- 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
- Forfatter
- Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov
- Redaktør
- Piergiorgio Odifreddi
- Opplag
- 1990 ed.
- ISBN
- 9783540527343
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.7.1990
- Antall sider
- 170
