Termination proofs for logic programs

High-Temperature Superconductors

Ajay Kumar Saxena

The Mark of Athena

Kitchō ryōri kaden

Yuki, Teiichi

A Black theology of liberation

James H. Cone

Halbleiter-Schaltungstechnik

U. Tietze, Ulrich Tietze, Christoph Schenk

Curriculum theory

George A. Beauchamp