Hend Dawood
Senior Lecturer of Computational Mathematics
Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt.
(email)
Bio
Publications
Software
Classes
Announcements
Blog
Feeds
Images
Links
Calendar
Mathematical Logic
Showing results in 'Links'.
Show all posts
Academia's Hend Dawood Page
Amazon's Hend Dawood Page
Google Scholar's Hend Dawood Page
ACM's Hend Dawood Page
InCLosure
InCLosure Version 1.0
InCLosure Version 2.0
InCLosure Version 3.0
Software Releases
InCLosure
3.0
Jun 21 2020
Download
(3.26 MB)
Tags
Automated Deduction
(4)
Interval Analysis
(4)
Interval Mathematics
(4)
Logical Foundations of Computation
(4)
Mathematical Logic
(4)
Tourism
