Bibliography of Linguistic Literature Thesaurus

Theorem proving

Theorem proving

Broader Terms

Date of creation
30-Jul-2018
Accepted term
30-Jul-2018
Descendant terms
0
ARK
ark:/99152/t35kwqmrp43e81
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
Search
  • Search Theorem proving (Wikipedia (ES))
  • Search Theorem proving (Google búsqueda exacta)
  • Search Theorem proving (Google scholar)
  • Search Theorem proving (Google images)
  • Search Theorem proving (Google books)