Logic, algebra, and computation
Subtitle: international summer school directed by F.L. Bauer ... [et al.]
By: edited by Friedrich L. Bauer.
Contributors: Bauer, Friedrich Ludwig, 1924-; NATO Advanced Study Institute on Logic, Algebra, and Computation (1989 : Marktoberdorf, Germany)
Series: NATO ASI series. Series F, Computer and systems sciences ;; vol. 79; NATO ASI series.; no. 79.
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 485
Subjects: Logic programming -- Congresses; Algebra -- Congresses; Computational complexity -- Congresses
Notes: Includes bibliographical references.
"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.