Search alternatives:
empty program » empmt program (Expand search), equity program (Expand search), party program (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder using » coders using (Expand search), cover using (Expand search), code using (Expand search)
using empty » using emergy (Expand search), using embryo (Expand search)
empty program » empmt program (Expand search), equity program (Expand search), party program (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder using » coders using (Expand search), cover using (Expand search), code using (Expand search)
using empty » using emergy (Expand search), using embryo (Expand search)
1
2
“... implementation of computer programming languages. This work describes a formalization effort, using the Coq proof...”
Access document
Access document
Doctoral thesis
3