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

Church–turing Thesis

Effectively Calculable

Effective Calculability

Important Papers

Theorem Proving

Related Words