Old Web
English
Sign In
Acemap
>
authorDetail
>
yosihiro mizoguti
yosihiro mizoguti
Computer science
Discrete mathematics
Mathematics
Algorithm
Lazy evaluation
8
Papers
8
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
2015
yosihiro mizoguti
Jacques Garrigue
gaku hagiwara
Reynald Affeldt
Show All
Source
Cite
Save
Citations (0)
Study group workshop 2013 数学協働プログラム lecture & report
2014
kyuusyuudaigaku daigakuin suurigaku kenkyuu in
sin'itirou sakae
yosihiro mizoguti
hayato waki
takasi sibuta
Show All
Source
Cite
Save
Citations (0)
6I4-23 理系離れ防止対策を試みとした高校生向け数理セミナー : NPO法人数理の翼が試みた数理科学啓発セミナー(教育実践・科学授業開発(4))
2004
takefumi ueno
yuuko andou
bungen katou
yosihiro mizoguti
akatuki watanabe
satoko utida
hiromitu katuragi
mami miura
Show All
Source
Cite
Save
Citations (0)
Graph transformations using relational calculus
1992
yosihiro mizoguti
Show All
Source
Cite
Save
Citations (0)
1