Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak.
Athar Abdul-QuaderPublished in: Bull. Symb. Log. (2018)
Keyphrases
- stanford university
- united kingdom
- e learning
- computer science department
- neural network
- learning algorithm
- supervised learning
- semi supervised
- case study
- arithmetic operations
- real time
- artificial intelligence
- machine learning
- data sets
- computer science
- decision trees
- document images
- supervised classification
- information retrieval