Diagram Operators in a Logical Framework
Last updated on
Nov 21, 2020
![Navid Roux](/author/navid-roux/avatar_hu4acffd4a4d01680fff508210e510d5f2_80223_270x270_fill_q75_lanczos_center.jpg)
Navid Roux
Computer Science M. Sc. Student
Academically interested in formal systems for knowledge representation; recreationally in love with sports.
Academically interested in formal systems for knowledge representation; recreationally in love with sports.