عنوان

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

موضوع

Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده

QA

3
.
L28

Vol
.
1429

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

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

Springer-Verlag

c1990

162p.: ill

Lecture notes in mathematics; 9241

Includes bibliographies

ISBN: 3540527346

S. Homer ... ]et al.[; editor, P. Odifreddi

Congresses ، Logic, Symbolic and mathematical

Congresses ، Programming )Mathematics(

Congresses ، Computational complexity

L28

Vol

1429

AU Homer, Steven

AU Odifreddi, Piergiorgio, 1950-

CO Centro Internazionale Matematico Estivo

C.I.M.E. Session on Logic and Computer Science

عنوان 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

موضوع Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده QA 3 .L28 Vol.1429