|
Boldo S. Computer Arithmetic and Formal Proofs...2017
1 year, 4 months
Files: 1 Total size: 34.9 MB Total requests: 321 Last access time: 1 day
|
|
Ravi S. Understanding Automata,Formal Languages and Grammar 2020
1 year, 4 months
Files: 1 Total size: 8.4 MB Total requests: 197 Last access time: 10 hours, 29 minutes
|
|
Sermutlu E. Automata, Formal Languages, and Turing Machines 2020
1 year, 4 months
Files: 1 Total size: 1.0 MB Total requests: 159 Last access time: 3 weeks, 2 days
|
Files: 1 Total size: 11.0 MB Total requests: 332 Last access time: 15 hours, 32 minutes
|
|
Gacovski Z. Programming Language Theory and Formal Methods 2023
1 year, 4 months
Files: 1 Total size: 43.4 MB Total requests: 162 Last access time: 1 week, 3 days
|
Files: 1 Total size: 10.2 MB Total requests: 274 Last access time: 1 hour, 3 minutes
|
|
Russinoff D. Formal verification of floating-point hardware 2022
1 year, 4 months
Files: 1 Total size: 4.9 MB Total requests: 235 Last access time: 3 weeks, 5 days
|
|
Smith P. An Introduction to Formal Logic 2ed 2020
1 year, 4 months
Files: 1 Total size: 2.4 MB Total requests: 248 Last access time: 2 weeks, 2 days
|
|
[ FreeCourseWeb.com ] A Unifying Framework for Formal Theories of Novelty - Discussions, Guidelines, and Examples for Artificial Intelligence
1 year, 5 months
Files: 4 Total size: 15.9 MB Total requests: 29 Last access time: 2 months, 2 weeks
|
|
Carroll J. Theory of Finite Automata...Formal Languages 1989
1 year, 6 months
Files: 1 Total size: 16.9 MB Total requests: 218 Last access time: 1 week, 2 days
|