Skip to main content
This module contains four main components, several of which are at the forefront of the academic discipline and are informed by research: 1) Propositional and predicate logic, and resolution. 2) Prolog programming 3) Search Techniques 4) Const... more. Canterbury, week 1-13

Lists linked to Logic and Logic Programming

Title Sort by title Time Period Last updated Sort by last updated
Logic and Logic Programming 2020-2021 Ended 31/08/2021 26/05/2020 20:00:50
Logic and Logic Programming 2021-2022 Ended 31/08/2022 28/01/2022 10:15:42
Logic and Logic Programming 2022-2023 17/05/2022 10:37:52
Logic and Logic Programming 2019-2020 Ended 31/08/2020 13/05/2019 10:03:34
Logic and Logic Programming 2018-2019 Ended 31/08/2019 14/05/2018 09:56:02
Logic and Logic Programming 2016-2017 Ended 31/08/2017 24/05/2016 09:47:55
Logic and Logic Programming 2017-2018 Ended 31/08/2018 22/05/2017 10:04:36
Logic and Logic Programming 2015-2016 Ended 31/08/2016 05/05/2015 16:57:06