Herbrand

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Herbrand's Theorem

Herbrand Disjunctions

Herbrand–ribet Theorem

Jacques Herbrand

William Herbrand

Related Phrases

Automated Theorem Proving

Effectively Decidable

Godfrey Harold Hardy

Important Papers

Scientific Phenomena Named After People

SRI International

Related Words