MathLib
LibMeta
Graph RAG
Lab
Blog
About
Team
RU
EN
LibMeta
/
Jones C.B.
IMT journal
Cited author
Person
Jones C.B.
http://libmeta.ru/resource/imt/cited_author/Jones_C_B
Входящие связи
← author · 1
Reasoning about Separation Using Abstraction and Reification