عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L618 1991
QA
76
.
63
.
L618
1991
کتابخانه
محل استقرار
English
Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
Berlin, New York
Springer-Verlag
1991
vi, 485 p. : ill. ; 25 cm
NATO ASI series. Series F, Computer and systems sciences, vol. 97
Published in cooperation with NATO Scientific Affairs Division
Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25-August 6, 1989-- T.p. verso
Bibliography: p. 474-485
Includes bibliographical references
edited by Friedrich L. Bauer
1
Congresses ، Logic programming
Congresses ، Algebra
Congresses ، Computational complexity
QA
76
.
63
.
L618
1991
CA
005
.
1
TI
AU Bauer, Friedrich Ludwig 1924-
CO NATO Advanced Study Institute on Logic, Algebra, and Computation, Marktoberdorf, Germany(, )9891
SE
