Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ahsan Fayyaz"'
Publikováno v:
The 1st International Conference on Energy, Power and Environment.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::989330ff74df4fed80ebfbe98852c947
https://doi.org/10.3390/engproc2021012069
https://doi.org/10.3390/engproc2021012069
Publikováno v:
International Journal of ADVANCED AND APPLIED SCIENCES. 3:11-17
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf5812c19b3c7ebd7d7907bd2912540a
https://doi.org/10.21833/ijaas.2016.07.003
https://doi.org/10.21833/ijaas.2016.07.003
Publikováno v:
ETX
Interactive theorem proving is the art of constructing electronic proofs. Proof development, based around a proof script, has much in common with program development, based around a program text. Proof developers use rather primitive tools for develo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f28642482021a04b817c27c17777da8f
https://doi.org/10.1145/1188835.1188845
https://doi.org/10.1145/1188835.1188845