Herbrand

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

Related Subjects

Jacques Herbrand

Related Phrases

Argonne National Laboratory

Automated Theorem Proving

Church–turing Thesis

Effectively Calculable

Effective Calculability

Important Papers

SRI International

Related Words