Rekommenderade teman
Rekommenderade teman
Menade du:
foundations programming » equations programming, foundations program, foundation programme
continuous programming » continuous program, conventions programming, control programming
definition semantic » definition semantics, definitions semantics, recognition semantic
semantic tools » semantic toolkit, semantic topics, semantic tags
foundations programming » equations programming, foundations program, foundation programme
continuous programming » continuous program, conventions programming, control programming
definition semantic » definition semantics, definitions semantics, recognition semantic
semantic tools » semantic toolkit, semantic topics, semantic tags
1
Publicerad 2008
Innehållsförteckning:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Hämta fulltext
Elektronisk
E-bok
