Logic, algebra, and computation : International Summer School - Bauer, F. L. (Friedrich Ludwig), 1924-; NATO Advanced Study Institute on Logic, Algebra, and Computation (1989 : Marktoberdorf, Germany) (Berlin : Springer-Verlag, 1991)
1
Keywords: Logic programming -- Congresses; Algebra -- Congresses; Computational complexity -- Congresses