First-order theorem proving in the exploration of Andrews-Curtis conjecture.

Paper Info

Title
First-order theorem proving in the exploration of Andrews-Curtis conjecture.

Authors (1 rows)

Cited by (2 rows)

References (1 rows)

Name	Order	Citations	PageRank
Alexei Lisitsa	1	272	45.94