Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Sardinia region

Other actions
Come Back Come Back

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
Information
You can find it in

Category

Testo

Nature

Monografia

Title

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

Names

Dershowitz, Nachum
International Conference RTA <3. ; 1989

Dewey class

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

BNI subject

Sistemi di riscrittura - Congressi

Description

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

Physical description

VII, 578 p. ; 25 cm.

Standard numbers

ISBN: 0387510818, New York
ISBN: 3540510818, Berlin

Date

copyr. 1989

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\UFI\0069135

Resources links

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

Tag

Other actions

Images

Capannone 3 Miniera S. Leone

Capannone 3 Miniera S. Leone

Author : 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

Year : 1847

Results 2 of 7937

View All View All

Texts

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

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

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

Year : 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

Author : IEEE International conference on control and applications <1989

Year : 1989

Results 2 of 768288

View All View All

Video

Mr. North

Mr. North

Year : 1989
Toto e Carolina

Toto e Carolina

Year : 1989

Results 2 of 14446

View All View All

Audio

Symphonies Nos. 5 and 10

Symphonies Nos. 5 and 10

Author : Hill, Alfred <1870-1960>

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

Live at Fillmore west : april 27, 1969

Author : Led Zeppelin <gruppo musicale>

Year : 1989

Results 2 of 4366

View All View All

Comments

Load others

Write a comment

Send
Write a comment