This paper is not offered for 2024
For previous occurrences, try the 2023 version of this year.
20
200
This paper provides a further development of predicate calculus (variously known as first order logic or quantification theory) and a study of a programming language based on logic, such as Prolog, along with applications to artificial intelligence or software engineering.
Additional information
- Indicative fees current as of 29 Oct 2024 01:20am