Login / Signup
Jörg H. Siekmann
ORCID
Publication Activity (10 Years)
Years Active: 1977-2021
Publications (10 Years): 6
Top Topics
Theorem Prover
String Matching
Ai Methods
Artificial Intelligence
Top Venues
FLAP
Künstliche Intell.
Math. Struct. Comput. Sci.
</>
Publications
</>