An Interactive Interpretation Viewer for Typed First-order Logic

Conference proceeding

Peer reviewed

Jack McKeown and Geoff Sutcliffe

Proceedings of FLAIRS-36, Vol.36

2023-05-08

Abstract

First-order

Interactive

Interpretation

Logic

url

https://doi.org/10.32473/flairs.36.133073View

Published (Version of record) Open

1 Record Views

Title: An Interactive Interpretation Viewer for Typed First-order Logic
Creators: Jack McKeown - University of Miami
Geoff Sutcliffe - University of Miami
Publication Details: Proceedings of FLAIRS-36, Vol.36
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Conference proceeding
Record Identifier: 991032795952702976