skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: Nome da Publicação: Lecture Notes in Computer Science 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 CSL'94, 8 1994 Kazimierz Leszek Pacholski; Jerzy Tiuryn

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1995

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

2
Word sense disambiguation using inductive logic programming
Word sense disambiguation using inductive logic programming
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Word sense disambiguation using inductive logic programming

Lucia Specia Ashwin Srinivasan; Ganesh Ramakrishnan; Maria das Graças Volpe Nunes; International Conference , Inductive Logic Programming 16 2006 Santiago de Compostela

Lecture Notes in Computer Science v. 4455, p. 409-423, 2007

Berlim Springer 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1624571 ) e outros locais(Acessar)

3
Logic programming'86
Logic programming'86
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming'86

Conference on Logic Programming'86, 5 1986 Tokyo Wada Eiiti

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

Berlin Springer-Verlag c1987

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

4
Logic program synthesis and transformation
Logic program synthesis and transformation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic program synthesis and transformation

International Workshop on Logic Program Synthesisand Transformation, LOPSTR'96, 6 1996 Stockolm John Gallagher

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.1207 )(Acessar)

5
Logic program synthesis and transformation
Logic program synthesis and transformation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic program synthesis and transformation

International Workshop on Logic Program Synthesisand Transformation, 5 1995 Utrecht Maurizio Proietti

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

Berlin Springer-Verlag c1995

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

6
Logic program synthesis and transformation
Logic program synthesis and transformation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic program synthesis and transformation

International Workshop on Logic Program Synthesisand Transformation, LOPSTR'97, 7 1997 Leuven Norbert E Fuchs

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.1463 )(Acessar)

7
Functional and logic programming
Functional and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming

Fuji International Symposium on Functional and Logic Programming, FLOPS'99, 4 1999 Tsukuba Aart Middeldorp; Taisuke Sato

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

Berlin Springer-Verlag c1999

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

8
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)

9
Higher-order algebra, logic, and term rewriting
Higher-order algebra, logic, and term rewriting
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher-order algebra, logic, and term rewriting

International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA'95, 2 1995 Paderborn Gilles Dowek

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

Berlin Springer-Verlag c1996

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

10
Fied-programmable logic architectures, synthesis and applications
Fied-programmable logic architectures, synthesis and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Fied-programmable logic architectures, synthesis and applications

International Workshop on Field-Programmable Logic and Applications, FPL'94, 4 1994 Prague Reiner W Hartenstein; Michal Z Servit

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

Berlin Springer-Verlag c1994

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (15)
  2. Artigos  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (2)
  2. 1994Até1995  (6)
  3. 1996Até1997  (3)
  4. 1998Até2007  (5)
  5. Após 2007  (2)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.