skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: data de publicação: 1993Até2009 remover autor: Meinke, K remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic
Computer Science Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic

Workshop on Computer Science Logic Egon Börger; Yuri Gurevich; Karl Meinke

Springer Berlin Heidelberg 1994

Acesso online

2
Algebraic and logic programming 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Algebraic and logic programming 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Michael Hanus 1959-; J Heering; K Meinke (Karl); International Conference on Algebraic and Logic Programming (6th 1997 Southampton, England); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd 1997 Southampton, England)

Berlin Springer-Verlag New York c1997

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

3
Algebraic and logic programming
Algebraic and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming

International Conference on Algebraic and Logic Programming, ALP'97, 6 1997 Southampton Michael Hanus; Jan Heering; Karl Meinke; International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA'97, 3; International Joint Conference ALP'97-HOA'97

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1997

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1298 )(Acessar)

4
Higher-order algebra, logic, and term rewriting selected papers of the first international workshop on higher-order algebra, logic, and term rewriting, hoa'93, held in amsterdam, the netherlands, septemper 23-24, 1993
Higher-order algebra, logic, and term rewriting selected papers of the first international workshop on higher-order algebra, logic, and term rewriting, hoa'93, held in amsterdam, the netherlands, septemper 23-24, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher-order algebra, logic, and term rewriting selected papers of the first international workshop on higher-order algebra, logic, and term rewriting, hoa'93, held in amsterdam, the netherlands, septemper 23-24, 1993

Workshop Oh Higher-Order Algebra, Logic, and TermRewriting (1. 1993 Amsterdam) Jan Heering; Karl Meinke

Berlin Springer 1993

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

5
Principles of declarative programming
Principles of declarative programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of declarative programming

International Symposium Programming Languages, Implementations, Logics and Programs, PLIPS'98, 10 1998 Pisa Catuscia Palamidessi; Hugh Glaser; Karl Meinke; International Conference Algebraic and Logic Programming, ALP'98, 6

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1998

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1490 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)
  2. Disponível na Biblioteca (4)

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

Buscando em bases de dados remotas. Favor aguardar.