GitHub - aztek/phd-thesis: Automated Theorem Proving with Extensions of First-Order Logic

aztek / phd-thesis Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Automated Theorem Proving with Extensions of First-Order Logic

research.chalmers.se/en/publication/504640

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 88 Commits
aws		aws
cicm15		cicm15
cpp16		cpp16
gcai16		gcai16
graphics		graphics
ijcar18		ijcar18
paar18		paar18
.gitignore		.gitignore
Makefile		Makefile
README		README
abstract.tex		abstract.tex
acknowledgements.tex		acknowledgements.tex
backcover.txt		backcover.txt
information.tex		information.tex
insert.sty		insert.sty
insert.tex		insert.tex
introduction.tex		introduction.tex
layout.tex		layout.tex
main.tex		main.tex
notation.tex		notation.tex
publications.tex		publications.tex
refs.bib		refs.bib
titlepage.sty		titlepage.sty

Repository files navigation

The LaTeX source code of my PhD thesis "Automated Theorem Proving with Extensions of First-Order Logic",
defended in September 2018.

A compiled PDF version is available here: https://ekotelnikov.com/phd-thesis.pdf