Showing 1 - 11 results of 11 for search '(("based computation with computation program") OR ("based solutions in computation program"))~', query time: 1.72s Refine Results
3
Published 2007
... lógicas de ordem superior e não produzem soluções simbólicas ao nível elementar. O programa Math...
Access document
4
Published 2016
... is based on a simple reduction of constant-time security of a program P to safety of a prod- uct program...
Access document
6
... infinite independent solutions. This contrasts with syntactic unification modulo C or AC that are known...
Access document
Doctoral thesis
11
Published 2017
... perspective, based on the facts and technologies presented, of an integrated search engine that may become...
Access document
Master thesis
Export CSV Export RIS