1
Gepubliceerd in 2013
Inhoudsopgave: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2010
Inhoudsopgave: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
Volledige tekst
Elektronisch E-boek