Herbrand

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

Related Subjects

Jacques Herbrand

William Herbrand

Related Phrases

Argonne National Laboratory

Automated Theorem Proving

Earl de La Warr

Effectively Calculable

Effectively Decidable

Effective Calculability

Related Words