Finger, Marcelo
Results: Displaying 9 of 29 on page 3 of 3
Name
Title
Area
Document
Colleges
Year
Clinical reports information retrieval
Semantics modulo satisfiability with applications: function representation, probabilities...
Distribution's analysis of operations's number of SAT solvers
Analyzing natural language inference from a rigorous point of view
A Multi-Strategy Tableau Prover
Using neural attention-based algorithms to automate court decisions multilabel c...
Refining the CoGrOO Grammar Checker
Automatic named entity recognition and classification for brazilian portuguese sport...
Results: Displaying 9 of 29 on page 3 of 3