Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '', query time: 0.15s Refine Results
1
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings.
by Ait-Ameur, Yamine
Singapore : Springer Singapore Pte. Limited, 2020

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
2
Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings /
Singapore : Springer, 2021

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
Search Tools: Get RSS Feed — Email this Search — Save Search