Mostrando
1 - 3
resultados de
3
para a busca '
'
Pular para o conteúdo
VuFind
A sua conta
Sair
Login Institucional
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Todos os campos
Autor
Título
Título do Periódico
Assunto
ISBN/ISSN
Tag
Buscar
Avançada
Redefinir Filtros
Assunto:
logic programming
Redefinir Filtros
Mostrar filtros (1)
Assunto:
logic programming
Resultados da busca
Mostrando
1 - 3
resultados de
3
para a busca '
'
, tempo de busca: 0.13s
Refinar Resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Autor
Título
Lista
Grid
1
Carregando...
Algorithms for Smart Cities
Publicado em 2024
Obter o texto integral
Livro
Salvar na lista
Na minha lista:
2
Carregando...
Automated Deduction – CADE 28
Publicado no
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Obter o texto integral
Livro
Salvar na lista
Na minha lista:
3
Carregando...
Automated Reasoning
Publicado no
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2022)
Obter o texto integral
Livro
Salvar na lista
Na minha lista:
Ferramentas de busca:
Obter Feed RSS
—
Enviar busca por e-mail
—
Salvar a busca
Voltar
Refinar a Busca
Recursos
DOAB
3
[excluir]
Coleção
Directory of Open Access Books
3
[excluir]
Formato
Livro
3
[excluir]
Autor
Blanchette, Jasmin
1
[excluir]
Cerasela Crişan, Gloria
1
[excluir]
Kovács, Laura
1
[excluir]
Nechita, Elena
1
[excluir]
Pattinson, Dirk
1
[excluir]
Platzer, André
1
[excluir]
Mais ...
Sutcliffe, Geoff
1
[excluir]
Ver todos ...
menos ...
Assunto
logic programming
artificial intelligence
2
[excluir]
automata theory
2
[excluir]
computer programming
2
[excluir]
formal languages
2
[excluir]
formal logic
2
[excluir]
Mais ...
semantics
2
[excluir]
software architecture
2
[excluir]
software design
2
[excluir]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[excluir]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[excluir]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
[excluir]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[excluir]
Artificial Intelligence
1
[excluir]
CO2 variations prediction
1
[excluir]
Computer Science Logic and Foundations of Programming
1
[excluir]
Computer architecture & logic design
1
[excluir]
Computer programming / software engineering
1
[excluir]
Formal Languages and Automata Theory
1
[excluir]
GIOU
1
[excluir]
HVAC systems
1
[excluir]
IOU
1
[excluir]
Logics and Meanings of Programs
1
[excluir]
Mathematical Logic and Formal Languages
1
[excluir]
Mathematical theory of computation
1
[excluir]
MobileNet V2
1
[excluir]
Software Engineering
1
[excluir]
YOLOv3
1
[excluir]
anchor clustering
1
[excluir]
asset management
1
[excluir]
Ver todos ...
menos ...
Idioma
Inglês
3
[excluir]
Ano da publicação
De:
Até:
Ano da publicação
Limpar
×
Carregando...