Scholar

Yutaka Nagashima

Google Scholar ID: U2cikqsAAAAJ

Institute of Computer Science, the Czech Academy of Sciences

Artificial Intelligence for Theorem Proving

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

403

H-index

9

i10-index

9

Publications

20

Co-authors

13

list available

Contact

No contact links provided.

Publications

1 items

Abduction Prover in Isabelle/HOL

2026

Cited

0

Resume (English only)

Co-authors

13 total

The Australian National University and The University of Edinburgh

School of Computing and Information Systems, University of Melbourne

Proofcraft and UNSW

Christine Rizkallah

Senior Lecturer at the University of Melbourne

Lecturer, University of New South Wales

Professor of Computer Science, University of New South Wales