Yutaka Nagashima

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 34

Top Topics

Inductive Reasoning

Theorem Proving

Sequent Calculus

Top Venues

GECCO (Companion)

Publications