| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990000117480203316 |
|
|
Autore |
Moroz, B. Z. |
|
|
Titolo |
Analytic arithmetic in algebraic number fields / B. Z. Moroz |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer Verlag, copyr. 1986 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics ; 1205 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996278347603316 |
|
|
Titolo |
Proceedings / / Symposium on Logic in Computer Science |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : IEEE Computer Society Press, ©1986- |
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electronic data processing |
Computer programming |
Logic, Symbolic and mathematical |
Computer programs - Correctness |
Logiciels - Exactitude |
Logique symbolique et mathématique |
Programmation (Informatique) |
Informatica |
Logica |
Periodicals. |
Conference papers and proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Published: Los Alamitos, CA, 1990- |
|
|
|
|
|
| |