Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Regione Sardegna

Altre azioni
Torna Indietro Torna Indietro

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989

International Conference RTA <3. ; 1989

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989

Nomi

Dershowitz, Nachum
International Conference RTA <3. ; 1989

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Soggetto BNI

Sistemi di riscrittura - Congressi

Descrizione

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 / N. Dershowitz (ed.)

Descrizione Fisica

VII, 578 p. ; 25 cm.

Numeri Standard

ISBN: 0387510818, New York
ISBN: 3540510818, Berlin

Data

copyr. 1989

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\UFI\0069135

Link Risorse

http://id.sbn.it/bid/UFI0069135
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Altre azioni

Immagini

Capannone 3 Miniera S. Leone

Capannone 3 Miniera S. Leone

Autore : maestranze locali
Per la sera di Giovedì 4 Novembre, serata a benefizio della prima donna soprano assoluta Signora Carolina Galli-Rota, il trattenimento sarà diviso come segue: 1. Atto primo dell'Opera Clarice Visconti ; 2. Duetto nell'Opera I Normanni a Parigi, eseguito dalla signora Erminia Ottoni, e dal Signor Gaetano Salani ; 3. Cavatina nell'Opera Ernani eseguita dalla beneficiata ; 4. Aria nell'Opera Roberto Devereux, eseguita dal primo Tenore Signor Giovanni D'Apice ; 5. Duetto nell'Opera Nabucco, eseguito dalla beneficiata e dal Signor Giovanni Zanbellini ; 6. Farsa in prosa che porta per titolo: I due moschettieri : invito al teatro

Per la sera di Giovedì 4 Novembre, serata a benefizio della prima donna soprano assoluta Signora Carolina Galli-Rota, il trattenimento sarà diviso come segue: 1. Atto primo dell'Opera Clarice Visconti ; 2. Duetto nell'Opera I Normanni a Parigi, eseguito dalla signora Erminia Ottoni, e dal Signor Gaetano Salani ; 3. Cavatina nell'Opera Ernani eseguita dalla beneficiata ; 4. Aria nell'Opera Roberto Devereux, eseguita dal primo Tenore Signor Giovanni D'Apice ; 5. Duetto nell'Opera Nabucco, eseguito dalla beneficiata e dal Signor Giovanni Zanbellini ; 6. Farsa in prosa che porta per titolo: I due moschettieri : invito al teatro

Anno : 1847

Risultati 2 di 7937

Visualizza Tutti Visualizza Tutti

Testi

Rewriting techniques and applications : 4. international conference, RTA-91

Rewriting techniques and applications : 4. international conference, RTA-91

Autore : International conference on rewriting techniques and applications <4. ; 1991

Anno : 1991
ICCON '89 : IEEE International conference on control and applications, Jerusalem, April 3-6, 1989

ICCON '89 : IEEE International conference on control and applications, Jerusalem, April 3-6, 1989

Autore : IEEE International conference on control and applications <1989

Anno : 1989

Risultati 2 di 768288

Visualizza Tutti Visualizza Tutti

Video

Mr. North

Mr. North

Anno : 1989
Toto e Carolina

Toto e Carolina

Anno : 1989

Risultati 2 di 14446

Visualizza Tutti Visualizza Tutti

Audio

Symphonies Nos. 5 and 10

Symphonies Nos. 5 and 10

Autore : Hill, Alfred <1870-1960>

Anno : 1999
Live at Fillmore west : april 27, 1969

Live at Fillmore west : april 27, 1969

Autore : Led Zeppelin <gruppo musicale>

Anno : 1989

Risultati 2 di 4366

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento