Login / Signup
Péter Szeredi
Publication Activity (10 Years)
Years Active: 1977-2012
Publications (10 Years): 0
Top Topics
Proof Planning
Theorem Proving
Constraint Logic Programming
Strongly Typed
Top Venues
Acta Cybern.
ICLP (Technical Communications)
</>
Publications
</>