Accesso libero

Mizar Analysis of Algorithms: Algorithms over Integers

Grzegorz Bancerek

Grzegorz Bancerek

Cerca questo autore su
Sciendo|Google Scholar
Bancerek, Grzegorz
  
20 mar 2009
Mizar Analysis of Algorithms: Algorithms over Integers's Cover Image
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Cita
Scarica la copertina
Pubblicato online: 20 mar 2009
Pagine: 177 - 194
DOI: https://doi.org/10.2478/v10037-008-0024-0
Parole chiave
This content is open access.
Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Informatica, Informatica, altro, Matematica, Matematica generale
Feed RSS della rivista