عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L625 1995
QA
9
.
A1
.
L625
1995
کتابخانه
محل استقرار
107872
تابستان۵۷
English
)91(
Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
New York
Springer
1995
viii, 514 p.: ill.; 24 cm
Lecture notes in computer science; 069
Includes bibliographical references
، Logic, Symbolic and mathematical-- Congresses
، Computational complexity-- Congresses
QA
9
.
A1
.
L625
1995
TI
Daniel Leivant )ed.(
AU .leahpaR eciruaM leinaD ,tnavieL
129
