Logic, Inference and Computation
| dc.contributor.author | van Alten, Clint | |
| dc.date.accessioned | 2026-06-01T14:48:25Z | |
| dc.date.issued | 2014-06-24 | |
| dc.description | Inaugural lecture presented to the Faculty of Science, School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, 2014 | |
| dc.description.submitter | MMM2026 | |
| dc.faculty | Faculty of Science | |
| dc.identifier | 0000-0002-7865-4886 | |
| dc.identifier.citation | van Alten, Clint. (2014). Logic, Inference and Computation. [Inaugural lecture, University of the Witwatersrand, Johannesburg]. WIReDSpace. https://hdl.handle.net/10539/49384 | |
| dc.identifier.uri | https://hdl.handle.net/10539/49384 | |
| dc.language.iso | en | |
| dc.publisher | University of the Witwatersrand, Johannesburg | |
| dc.rights | ©2014 University of the Witwatersrand, Johannesburg. All rights reserved. The copyright in this work vests in the University of the Witwatersrand, Johannesburg. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of University of the Witwatersrand, Johannesburg. | |
| dc.rights.holder | University of the Witwatersrand, Johannesburg | |
| dc.school | School of Computer Science and Applied Mathematics | |
| dc.subject | Alphabet | |
| dc.subject | Premises | |
| dc.subject | Conclusion | |
| dc.subject | Inference Rules | |
| dc.subject | First-Order Logic | |
| dc.subject | Computation | |
| dc.subject | Algebra | |
| dc.subject | Algorithm | |
| dc.subject.primarysdg | SDG-9: Industry, innovation and infrastructure | |
| dc.subject.secondarysdg | SDG-4: Quality education | |
| dc.title | Logic, Inference and Computation | |
| dc.type | Inaugural lecture |