عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L618 1991
QA
76
.
63
.
L618
1991
کتابخانه
محل استقرار
02BL0000000001824
انگلیسی
logic , Algebra and computation:International summer school diruted by F.L.Baver ...]et gl.[
edited by frledrich l.Baver
Berlin
Springer
1991
Vii, 485p ; Illus
, 1824 , 2-1
)Nato Asi series . series f . computer and system sciences ; no.79(.
logic progrommig - congersses
Alxbrn - congresses
computational complexity - congresses
QA
76
.
63
.
L618
1991
AU
AU
Baver , friedrich ludwig , 1929
noto Advanad study institvte on logic alxbra and computation )1989: marktoberdof , gllmang(
