Resultados de 1 a 10 de 53 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Representation and meaning; experiments with information processing systemsHerbert Alexander Simon 1916- Laurent SiklóssyEnglewood Cliffs, N.J. Prentice-Hall 1972Localização: IME - Inst. Matemática e Estatística (QA860.C3 S594r ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Prolog programming for artificial intelligenceIvan BratkoWokingham, England Reading, Mass. Addison-Wesley Pub. Co. c1990Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod (004.43 PROLOG B737p2 e.2 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Journal on Data Semantics IGerhard Hartmanis, Juris van Leeuwen, Jan Goos Karl Aberer; Sal March; S SpaccapietraSpringer Berlin Heidelberg 2003Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Logic programming and its applicationsMichel van Caneghem; David H. D WarrenNorwood, N.J. Ablex Pub. Corp. c1986Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 C221l e.1 )(Acessar) |
| 5 |
Material Type: Livro
|
|
Prolog from specification to prototypePeter A. Leadbetter Peter G Thomas; Raymond A WeedonOxford England Boston Blackwell Scientific Publications 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68T05.05 L434p e.1 )(Acessar) |
| 6 |
Material Type: Livro
|
|
The art of Prolog advanced programming techniquesLeon Sterling Ehud Y ShapiroCambridge, Mass. MIT Press c1994Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3.06 S833a2 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Journal on data semantics VIIS SpaccapietraBerlin Springer New York, N.Y. c2006Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Foundations of logic programmingJ. W. Lloyd 1947- (John Wylie)Berlin New York Springer-Verlag 1984Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 L793f e.1 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
On conceptual modelling perspectives from artificial intelligence, databases, and programming languagesMichael L Brodie; John Mylopoulos; Joachim W Schmidt 1941-New York Springer-Verlag c1984Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (001.424 B864o ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
The logic of partial informationAreski Nait Abdallah 1950-Berlin Springer New York c1995Localização: IME - Inst. Matemática e Estatística (QA860 A135L )(Acessar) |
Resultados de 1 a 10 de 53 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Artificial Intelligence (27)
- Programming Languages (Electronic Computers) (18)
- Inteligência Artificial (16)
- Inteligência Artificial (16)
- Computer Science (15)
- Prolog (Computer Program Language) (12)
- Linguagem De Programação (11)
- Computer Programming (10)
- Congresses (9)
- Programming Languages (9)
- Programming Techniques (9)
- Machine Theory (8)
- Computers (8)
- Mathematical Logic And Formal Languages (7)
- Programming Languages, Compilers, Interpreters (7)
- Software Engineering (7)
- Programming (6)
- Ontologia (6)
- Metodologia E Técnicas De Computação (6)
- Mathematical Logic (6)
- Compilers (6)
- Web Semântica (6)
- Kongress (6)
- Computer Logic (6)
- Ai (5)
- E-Book Springer Lncs (5)
- Database Management (5)
- Artificial Thinking (5)
- Logic Programming (4)
- Programação Lógica (4)
- Logic Programming (4)
- Semantics (3)
- Prolog (3)
- Semantic Web (3)
- Linguagem De Programação (3)
- Basic (2)
- Semântica De Programação (2)
- Ontologia (2)
- Expert Systems (Computer Science) (2)
- Programação Lógica (2)
- Artificial intelligence Programming languages (2)
- Prolog (2)
- Semantic Web (2)
- Artificial intelligence Applications of microcomputer systems Programming languages: Basic language (2)
- Web Semântica (1)
- Semantics (1)
- Database Management (1)
-
Mais opções
Autor/Criador
- Spaccapietra, S (8)
- Warren, D (2)
- Allen, J (2)
- Bratko, I (2)
- Mylopoulos, J (2)
- Aberer, K (2)
- Edelson, B (1)
- Shapiro, E (1)
- Strous, L (1)
- Fages, F (1)
- March, S (1)
- Sangal, R (1)
- Blum, A (1)
- Kluâzniak, F (1)
- Lecot, K (1)
- Kowalski, R (1)
- Väänänen, J (1)
- Levine, R (1)
- Zaihrayeu, I (1)
- Simon, H (1)
-
Mais opções
Data de Publicação
- Antes de1987 (13)
- 1987Até1991 (11)
- 1992Até2001 (7)
- 2002Até2007 (24)
- Após 2007 (6)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (25)
- IME - Inst. Matemática e Estatística (22)
- EPBC - Esc. Politécnica-Bib Central (5)
- FEA - Fac. Econ. Adm. Contab. e Atuária (3)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (2)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (2)
- IF - Instituto de Física (1)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (1)
- EESC - Esc. Engenharia de São Carlos (1)
- IFSC - Inst. Física de São Carlos (1)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- CQ - Conjunto das Químicas (1)
- PUSPSC - Prefeitura do Campus USP de São Carlos (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (13)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (10)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (10)
- SpringerLINK Lecture Notes in Computer Science (2015) (10)
- SpringerLink Books Lecture Notes in Computer Science Archive (9)
- Springer Books Online Archive (9)
- eBook - All Access Books [EBAAB] (3)
- ScienceDirect eBooks (3)
- IngentaConnect Journals (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 