Programming and automating mathematics in the Tarski-Kleene hierarchy.
Alasdair ArmstrongGeorg StruthTjark WeberPublished in: J. Log. Algebraic Methods Program. (2014)
Keyphrases
- computer programming
- programming language
- propositional logic
- regular expressions
- computer science
- neural network
- higher level
- development environment
- hierarchical structure
- computer programs
- programming environment
- hands on guide
- real time
- class hierarchy
- programming concepts
- object oriented programming
- relational databases
- data sets