Computing in Systems Described by Equations

Beschreibung

Autor*in

M.J. O'Donnell

Themen in »Computing in Systems Described by Equations«

Computing EDV Gleichung Mathematische Logik Programmiersprache Systems equation function language logic programming language proof semantics Übersetzer (EDV)

Stimmen zu »Computing in Systems Described by Equations«

Details

Link teilen