Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applied Assistive Technologies and Informatics for Students with Disabilities
Applied Assistive Technologies and Informatics for Students with Disabilities
Author 
Kaluri, Rajesh. editor. Mahmud, Mufti. editor. Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X Rajput, Dharmendra Singh. editor. Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0914-4
Format: 
Availability 
Online Library~1
Available:
Copies: