Search Results - Sernadas, Amíicar

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

    Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems by Cruz-Filipe, Luíis, Sernadas, Amíicar, Sernadas, Cristina

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: