Normal view MARC view

Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; System Performance and Evaluation; Software Engineering; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics) (Topical Term)

Number of records used in: 1
Preferred form: Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; System Performance and Evaluation; Software Engineering; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics)

Machine generated authority record.

Work cat.: (OSt)274114: Interactive theorem proving, 2017

Powered by Koha