Logic and computer science : 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
S. Homer ... [et al.] ; editor: P. Odifreddi
Bok Språk ikke angitt 1990
Utgitt | Berlin : Springer , c1990
|
---|---|
Omfang | 162 s. : fig.
|
Emner | |
ISBN | 0387527346. - 3540527346
|