skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An automatic construction of Lisp programs by transformations of functions synthesized from their input-output behavior
An automatic construction of Lisp programs by transformations of functions synthesized from their input-output behavior
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

An automatic construction of Lisp programs by transformations of functions synthesized from their input-output behavior

Jean-Pierre Jouannaud Yves Kodratoff

Separata do International Journal of Policiy Analysis and Information Systems v.4, n.4, p. 331-358, 1980

s.l.p. s.c.p. 1980

Localização: IME - Inst. Matemática e Estatística    (SEPARATA J86a )(Acessar)

2
Rewriting techniques and applications
Rewriting techniques and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications

International Conference on Rewriting Techniques and Applications, 1., Dijon, 1985 Jean-Pierre Jouannaud

Berlin Springer 1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.202 ex.1 ) e outros locais(Acessar)

3
Functional programming languages and computer architecture
Functional programming languages and computer architecture
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional programming languages and computer architecture

Conference on Functional Programming Languages and Computer Architecture, Nancy, 1985 Jean-Pierre Jouannaud

Berlin Springer 1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.201 ex.1 ) e outros locais(Acessar)

4
Conditional term rewriting systems proceedings
Conditional term rewriting systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional term rewriting systems proceedings

International Workshop on Conditional Term Rewriting Systems, 1., Orsay, 1987 Jean-Pierre Jouannaud

Berlin Springer 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.308 ex.1 ) e outros locais(Acessar)

5
Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Joseph Goguen; Kokichi Futatsugi; Jean-Pierre Jouannaud; Jos e Meseguer

Berlin Springer-Verlag New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4060 ) e outros locais(Acessar)

6
Term rewriting french spring school of theoretical computer science, font romeux, France, may 17-21, 1993, advanced course
Term rewriting french spring school of theoretical computer science, font romeux, France, may 17-21, 1993, advanced course
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting french spring school of theoretical computer science, font romeux, France, may 17-21, 1993, advanced course

French Spring School of Theoretical Computer Science (1993 Font Romeux, Fr) Hubert Comon; Jean-Pierre Jouannaud

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.909 e.1 ) e outros locais(Acessar)

7
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994

International Conference on Constraints in Computation Logics (1. 1994 Minich) Jean-Pierre Jouannaud; G Goos; J Hartmanis; J Leeuwen

Berlin Computer 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.845 e.1 ) e outros locais(Acessar)

8
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings

International Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.) Frank Pfenning

Berlin Springer New York 2006

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.