por: Prova automática de teoremas

New Query

Information
has URIhttp://lexvo.org/id/term/por/Prova%20autom%C3%A1tica%20de%20teoremas
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