1
Udgivet 2007
Indholdsfortegnelse: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
Få fuldtekst
Electronisk eBog