Vai al contenuto principale della pagina

Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: International workshop CTRS-94 : 4. : 1994 Visualizza persona
Titolo: Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.) Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica: VIII, 373 p. : ill. ; 24 cm.
Disciplina: 6525
Soggetto non controllato: congressi - gerusalemme - 1994
scrittura elettronica - congressi - 1994
Persona (resp. second.): Dershowitz, Nachum
Titolo autorizzato: Conditional and typed rewriting systems  Visualizza cluster
ISBN: 3-540-60381-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000210880203316
Lo trovi qui: Univ. di Salerno
Collocazione: 001 LNCS (968)
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui