Collaborated with:
Mark H. M. Winands
Talks about:
paranoid
(1)
search
(1)
number
(1)
proof
(1)
Person:
Jahn-Takeshi Saito
DBLP: Saito:Jahn=Takeshi
Contributed to:
2010
Wrote 1 papers:
CIG-2010-SaitoW
Paranoid Proof-Number Search (
JTS
,
MHMW
), pp. 203–210.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.