Showing 1 - 2 results of 2 for search 'Bonacina', čas poizvedbe: 0.04s Refine Results
  1. 1
    Automated Deduction â€" CADE-24
    Izdano 2013
    Drugi avtorji: “...Bonacina...”
    Full text available on Springer
    Off-campus access
    Elektronski eKnjiga
  2. 2
    Automated Reasoning and Mathematics
    Izdano 2013
    Drugi avtorji: “...Bonacina...”
    Full text available on Springer
    Off-campus access
    Elektronski eKnjiga
Iskalna orodja: RSS – Pošljite iskanje po emailu