Higher-Order Algebra, Logic, and Term RewritingGilles Dowek, Jan Heering, Karl Meinke, Bernhard MöllerHäftad, 1996566 kr
Antidiabetic Agents: Recent Advances in their Molecular and Clinical PharmacologyElsevier Science E-bok19961 613 kr