Login / Signup
Juan Michelini
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Design Process
Evolutionary Algorithm
Information Presentation
Top Venues
CoRR
</>
Publications
</>
Juan Michelini
,
Alvaro Tasistro
Presentation of Classical Propositional Tableaux on Program Design Premises.
CoRR
(2015)