The Institute of Electronics, Information and Communication Engineers General Conference
日本語
Help
Log in
Main Menu
General information
Announcements(6)
General Coference Official Site
Program
Sessions
Search presentations
Download PDF for print
Timetable
Tue. Mar 5, 2024
Wed. Mar 6, 2024
Thu. Mar 7, 2024
Fri. Mar 8, 2024
Advanced Search
Top
Sessions
Session Details
Presentation Information
Presentation Information
11:45 AM - 12:00 PM JST
(2:45 AM - 3:00 AM UTC)
[D-3-11]
Construction of the Remote Verification System for Mizar
○Toshiki Kai
1
, Kazuhisa Nakasho
1
(1. Yamaguchi Univ.)
Download PDF
Bookmark
Keywords:
Mizar,Remote Verification
Back to Session information