Logic, Inference and Computation

Thumbnail Image

Files

van Alten_Logic_2014.pdf (221.92 KB)

Date

2014-06-24

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

University of the Witwatersrand, Johannesburg

Abstract

Description

Inaugural lecture presented to the Faculty of Science, School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, 2014

Keywords

Alphabet, Premises, Conclusion, Inference Rules, First-Order Logic, Computation, Algebra, Algorithm

Citation

van Alten, Clint. (2014). Logic, Inference and Computation. [Inaugural lecture, University of the Witwatersrand, Johannesburg]. WIReDSpace. https://hdl.handle.net/10539/49384

URI

https://hdl.handle.net/10539/49384

Collections

Wits Inaugural Lectures

Endorsement

Review

Supplemented By

Referenced By