Equational logic as a programming language

Bewaard in:
Bibliografische gegevens
Hoofdauteur: O'Donnell, Michael J., 1952-
Formaat: Boek
Taal:Engels
Gepubliceerd in: Cambridge, Mass MIT Press c1985
Reeks:MIT Press series in the foundations of computing
Onderwerpen:
Programming languages (Electronic computers)
Logic, Symbolic and mathematical
Equations, Theory of
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Aanmelden Informatie over reserveringen

Gelijkaardige items