Synthesis of recursive functional programs from examples
Bjarte M. Østvold
Bok Engelsk 1999
Les boka på nett
Digital utgave: Søke-URL
| Utgitt | Trondheim : Norges teknisk-naturvitenskapelige universitet, Institutt for datateknikk og informasjonsvitenskap , 1999
|
|---|---|
| Omfang | VI, 118 s.
|
| Opplysninger | Avhandling (dr. ing.) - Norges teknisk-naturvitenskapelige universitet, 1999
|
| Emner | Programmering - Databehandling
Rekursive funksjoner doktoringeniør fysikk, informatikk matematikk datateknikk informasjonsvitenskap |
| ISBN | 8247104830
|
