A mostrar
1 - 3
resultados de
3
para a pesquisa '
'
Ir para o conteúdo
VuFind
Din konto
Log ud
KB Login
Sprog
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
हिंदी
Alle Felter
Forfatter
Titel
Tidsskriftstitel
Fag
ISBN/ISSN
Tag
Find
Udvidet
Reset Filters
Fag:
logic programming
Reset Filters
Show filters (1)
Fag:
logic programming
Søgeresultater
A mostrar
1 - 3
resultados de
3
para a pesquisa '
'
, Forespørselstid: 0.43seg
Refinar resultados
Resultater pr. side
10
20
40
60
80
100
Sortér
Relevans
Nyeste øverst
Ældste øverst
Forfatter
Titel
Liste
Net
1
Loading...
Algorithms for Smart Cities
Udgivet 2024
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
2
Loading...
Automated Deduction – CADE 28
Udgivet i
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
3
Loading...
Automated Reasoning
Udgivet i
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2022)
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
Søgeredskaber:
”Modtag RSS Feed
—
Email denne søgning
—
Gem søgning
Voltar
Indsnæver søgning
Institution
DOAB
3
[excluír]
Coleção
Directory of Open Access Books
3
[excluír]
Format
Livro
3
[excluír]
Forfatter
Blanchette, Jasmin
1
[excluír]
Cerasela Crişan, Gloria
1
[excluír]
Kovács, Laura
1
[excluír]
Nechita, Elena
1
[excluír]
Pattinson, Dirk
1
[excluír]
Platzer, André
1
[excluír]
mere ...
Sutcliffe, Geoff
1
[excluír]
se alt ...
mindre ...
Fag
logic programming
artificial intelligence
2
[excluír]
automata theory
2
[excluír]
computer programming
2
[excluír]
formal languages
2
[excluír]
formal logic
2
[excluír]
mere ...
semantics
2
[excluír]
software architecture
2
[excluír]
software design
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[excluír]
Artificial Intelligence
1
[excluír]
CO2 variations prediction
1
[excluír]
Computer Science Logic and Foundations of Programming
1
[excluír]
Computer architecture & logic design
1
[excluír]
Computer programming / software engineering
1
[excluír]
Formal Languages and Automata Theory
1
[excluír]
GIOU
1
[excluír]
HVAC systems
1
[excluír]
IOU
1
[excluír]
Logics and Meanings of Programs
1
[excluír]
Mathematical Logic and Formal Languages
1
[excluír]
Mathematical theory of computation
1
[excluír]
MobileNet V2
1
[excluír]
Software Engineering
1
[excluír]
YOLOv3
1
[excluír]
anchor clustering
1
[excluír]
asset management
1
[excluír]
se alt ...
mindre ...
Sprog
Inglês
3
[excluír]
Udgivelsesår
Fra:
Til:
Udgivelsesår
Clear
×
Loading...
