skip to main content

Idioma:

Conditional and typed rewriting systems proceedings

International Workshop on Conditional Term Rewriting Systems (4. 1994 Jerusalem, Il) Nachum Dershowitz; Naomi Lindenstrauss

Berlin Springner 1995

Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.968 e.1 ) y otras localizaciones(Obténgalo)

Acciones

Título:
Conditional and typed rewriting systems proceedings
Autor: International Workshop on Conditional Term Rewriting Systems (4. 1994 Jerusalem, Il)
Nachum Dershowitz; Naomi Lindenstrauss
Materias: INTELIGÊNCIA ARTIFICIAL; LINGUAGENS FORMAIS; TEORIA DA COMPUTAÇÃO
Editor: Berlin Springner
Fecha de creación: 1995
Formato: 373 p.
Idioma: Inglés

Enlaces

Este registro en el Catálogo

Volver a la lista de resultados

Resultado 1

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora