Rezultati pretrage - Grigori Mints

  • Prikaz rezultata 1 – 1 od 1
Detaljiziraj rezultate
Popis   Mreža  
  1. 1

    Cut-elimination for the mu-calculus with one variable od Grigori Mints, Thomas Studer

    Izdano 2012-02-01
    Preuzmi cijeli tekst
    Artigo
    Spremi u popis
    Spremljeno u:

Alati za pretragu: