5 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Logic programming
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Functional and logic programming 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedingsFuji International Symposium on Functional and Logic Programming (4th 1999 Tsukuba Kenkyåu Gakuen Toshi, Japan) Aart Middeldorp 1963-; Taisuke SatåoBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1722 e.1 )(Acessar) |
| 2 |
Material Type: Livro
|
|
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 ProceedingsMiddeldorp, Aart ; Sato, Taisuke Sato, Taisuke ; Middeldorp, AartBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, ProceedingsMcMillan, Ken ; Middeldorp, Aart ; Voronkov, Andrei McMillan, Ken ; Voronkov, Andrei ; Middeldorp, AartNetherlands: Springer Nature 2013Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Functional and logic programming: 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan November 11-13, 1999 : proceedingsMiddeldorp, Aart ; Sato, TaisukeSpringer 2014Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
AC-KBO revisitedYAMADA, AKIHISA ; WINKLER, SARAH ; HIROKAWA, NAO ; MIDDELDORP, AARTTheory and practice of logic programming, 2016-03, Vol.16 (2), p.163-188 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Logic Programming (4)
- Computer Science (3)
- Congresses (2)
- Programming Techniques (2)
- Programming Languages (2)
- Programming Languages, Compilers, Interpreters (2)
- Computer Programming (2)
- Artificial Intelligence (2)
- Functional Programming (2)
- Logics And Meanings Of Programs (2)
- Computer Logic (2)
- Logische Programmierung (2)
- Logic Design (2)
- Kongress (2)
- Compilers (2)
- Engenharia De Software (1)
- Artificial Intelligence -- Congresses (1)
- Functional Programming (Computer Science) (1)
- Linguagem De Programação (1)
- Algorithms (1)
- Ai (1)
- Abstract Machines (1)
- Abstract Automata (1)
-
Mais opções
Autor/Criador
Base de Dados/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (3)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3)
- Springer Books (3)
- SpringerLINK Lecture Notes in Computer Science (2015) (3)
- SpringerLink Books Lecture Notes in Computer Science Archive (2)
- Springer Books Online Archive (2)
- CUP_剑桥大学出版社现刊 (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- Science Citation Index Expanded (Web of Science) (1)
- EZB Electronic Journals Library (1)
- SpringerLINK Lecture Notes in Computer Science (2013) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 