Login
   

fra: Démonstrateur automatique de théorèmes

New Query

Information
has URIhttp://lexvo.org/id/term/fra/D%C3%A9monstrateur%20automatique%20de%20th%C3%A9or%C3%A8mes
Meaning
meanse/Automated theorem proving

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)

Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint