Cover Image

Saved in:
Bibliographic Details
Main Author: Anand, Bhupinder Singh
Format: Preprint
Published: 2024
Subjects:
Logic
00A30, 03A05, 03B10, 03D10, 03D15, 03F25, 03F30, 68Q15, 68Q17, 68T27
Online Access:https://arxiv.org/abs/2401.09478
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2401.09478

Similar Items