Search for persons
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
2
Finite Two-Dimensional Proof Systems for Non-finitely Axiom..:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
3
Proof Search on Bilateralist Judgments over Non-determinist..:
, In:
?
2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) ,
5
Brazilian Mercosur License Plate Detection: a Deep Learning..:
, In:
?
2017 IEEE First Summer School on Smart Cities (S3C) ,
9
A Brazilian License Plate Recognition Method for Applicatio..:
, In:
?
2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) ,
10