Ralf
From MaRDI portal
Software:20512
No author found.
Related Items (6)
Unnamed Item ⋮ Gunther Schmidt's life as a mathematician and computer scientist ⋮ Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers ⋮ Automated Verification of Relational While-Programs ⋮ RALL: Machine-supported proofs for relation algebra ⋮ Theory and Applications of Relational Structures as Knowledge Instruments
This page was built for software: Ralf
