diff options
Diffstat (limited to 'chapters/background')
| -rw-r--r-- | chapters/background/01-neural-networks.tex | 4 | ||||
| -rw-r--r-- | chapters/background/02-interaction-nets.tex | 4 | ||||
| -rw-r--r-- | chapters/background/03-satisfiability-modulo-theories.tex | 4 |
3 files changed, 12 insertions, 0 deletions
diff --git a/chapters/background/01-neural-networks.tex b/chapters/background/01-neural-networks.tex new file mode 100644 index 0000000..75bd8c4 --- /dev/null +++ b/chapters/background/01-neural-networks.tex @@ -0,0 +1,4 @@ +\section{Neural Networks} +\label{sec:neural-networks} + +% This section introduces Neural Networks diff --git a/chapters/background/02-interaction-nets.tex b/chapters/background/02-interaction-nets.tex new file mode 100644 index 0000000..268e441 --- /dev/null +++ b/chapters/background/02-interaction-nets.tex @@ -0,0 +1,4 @@ +\section{Interaction Nets} +\label{sec:interaction-nets} + +% This section introduces Interaction Nets diff --git a/chapters/background/03-satisfiability-modulo-theories.tex b/chapters/background/03-satisfiability-modulo-theories.tex new file mode 100644 index 0000000..b2c1416 --- /dev/null +++ b/chapters/background/03-satisfiability-modulo-theories.tex @@ -0,0 +1,4 @@ +\section{Satisfiability Modulo Theories} +\label{sec:satisfiability-modulo-theories} + +% This section introduces Satisfiability Modulo Theories |