BibTeX

author = Martin (47 entries) Select: All None Action: Show BibTeX

Martin . First-order logic: semantics pdf google scholar

Martin . Semantic tableaux pdf google scholar

Martin . Propositional calculus: formulas, interpretations, logical equivalence pdf google scholar

Martin . First-order logic: logical equivalence, satisfiability, validity, logical consequence pdf google scholar

Martin . First-order logic: natural deduction pdf google scholar

Martin . Built-ins for arithmetical computations pdf google scholar

Martin . Herbrand models, substitutions pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/lectures/notes1-4.pdf pdf google scholar

Martin . Propositional calculus: Hilbert systems pdf google scholar

Martin . First-order logic: syntax pdf google scholar

Martin . Representation of lists pdf google scholar

Martin . Propositional calculus: satisfiability, validity, logical consequence pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/labs/lab1.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/labs/lab4.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/labs/lab2.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/labs/lab1_a.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/labs/lab3.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/labs/lab5.pdf pdf google scholar

Martin . Propositional logic: resolution pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/lectures/notes5-4.pdf pdf google scholar

Martin . Running SWI-Prolog Creating truth tables pdf google scholar

Martin . Propositional logic: natural deduction pdf google scholar

Martin . First-order logic: clausal form, skolemization pdf google scholar

Martin . Semantic tableaux pdf google scholar

Martin . Tutorial Solution 2 pdf google scholar

Martin . Tutorial Solution 5 pdf google scholar

Martin . Tutorial Solutions 6 pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/tutorials/tute7.pdf pdf google scholar

Martin . Tutorial solutions 3 pdf google scholar

Martin . Tutorial 4 Solutions pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/assignments/assignment3.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/assignments/assignment1.pdf pdf google scholar

Martin . Tutorial Solutions 7 pdf google scholar

Martin . Tutorial Solution 1 pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/tutorials/tute1.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/tutorials/tute4.pdf pdf google scholar

Martin . Assignment 2 Solutions pdf google scholar

Martin . Assignment 1 Solutions pdf google scholar

Martin . Predicate calculus: Hilbert systems pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/lectures/notes14.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/outline.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/tutorials/tute8.pdf pdf google scholar

Martin . Tutorial questions 3 pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/tutorials/tute2.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/tutorials/tute5.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/tutorials/tute6.pdf pdf google scholar

Martin . martin/www.cse.unsw.edu.au/%7Ecs2411/assignments/assignment2.pdf pdf google scholar

x$Id: bibtex.php,v 1.59 2021/01/12 08:36:11 dyuret Exp $ download