عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.1429
QA
3
.
L28
no
.
1429
کتابخانه
محل استقرار
92751
آخر۲۷
English
)20(
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
Berlin, New York
Springer-Verlag
1990
162 p. : ill. ; 25 cm
Lecture notes in mathematics, 9241
Includes bibliographical references
، Logic, Symbolic and mathematical-- Congresses
، Programming )Mathematics(-- Congresses
، Computational complexity-- Congresses
QA
3
.
L28
no
.
1429
TI
S. Homer ... )et al.( ; editor, P. Odifreddi
CO Homer
AU idderfidO 1950-
CO Centro internazionale matematico estivo
SE Lecture notes in mathematics )Springer-Verlag(, 1429
02
