Sven-Erik Bornscheuer

Bibliography

Bornscheuer, Sven-Erik, Kalinke, Y. and Strohmaier, A. 1998. “Massively Parallel Reasoning.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 231–260. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.