Prikaz rezultata
1 – 3
od
3
za pretraživanje '
'
Preskoči na sadržaj
VuFind
Tvoj račun
Odjavi se
Institucionalna prijava
Jezik
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
हिंदी
Sva polja
Autor
Naslov
Naslov žurnala
Tema
ISBN/ISSN
Oznaka
Nađi
Napredno
Resetiraj filtre
Tema:
logic programming
Resetiraj filtre
Prikaži filtre (1)
Tema:
logic programming
Rezultati pretraživanja
Prikaz rezultata
1 – 3
od
3
za pretraživanje '
'
, vrijeme pretraživanja: 0,36s
Detaljiziraj rezultate
Broj rezultata po stranici
10
20
40
60
80
100
Razvrstaj
Značajnost
Datum uzlazno
Datum silazno
Autor
Naslov
Popis
Mreža
1
Učitavanje...
Algorithms for Smart Cities
Izdano 2024
Preuzmi cijeli tekst
Livro
Spremi u popis
Spremljeno u:
2
Učitavanje...
Automated Deduction – CADE 28
Izdano u
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Preuzmi cijeli tekst
Livro
Spremi u popis
Spremljeno u:
3
Učitavanje...
Automated Reasoning
Izdano u
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2022)
Preuzmi cijeli tekst
Livro
Spremi u popis
Spremljeno u:
Alati za pretraživanje:
Preuzmi RSS sažetak
—
Pošalji ovo pretraživanje e-poštom
—
Spremi pretraživanje
Natrag
Uže pretraživanje
Institucija
DOAB
3
Isključi poklapajuće rezultate
Zbirka
Directory of Open Access Books
3
Isključi poklapajuće rezultate
Format
Livro
3
Isključi poklapajuće rezultate
Autor
Blanchette, Jasmin
1
Isključi poklapajuće rezultate
Cerasela Crişan, Gloria
1
Isključi poklapajuće rezultate
Kovács, Laura
1
Isključi poklapajuće rezultate
Nechita, Elena
1
Isključi poklapajuće rezultate
Pattinson, Dirk
1
Isključi poklapajuće rezultate
Platzer, André
1
Isključi poklapajuće rezultate
više ...
Sutcliffe, Geoff
1
Isključi poklapajuće rezultate
pogledaj sve ...
manje ...
Tema
logic programming
artificial intelligence
2
Isključi poklapajuće rezultate
automata theory
2
Isključi poklapajuće rezultate
computer programming
2
Isključi poklapajuće rezultate
formal languages
2
Isključi poklapajuće rezultate
formal logic
2
Isključi poklapajuće rezultate
više ...
semantics
2
Isključi poklapajuće rezultate
software architecture
2
Isključi poklapajuće rezultate
software design
2
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
Isključi poklapajuće rezultate
Artificial Intelligence
1
Isključi poklapajuće rezultate
CO2 variations prediction
1
Isključi poklapajuće rezultate
Computer Science Logic and Foundations of Programming
1
Isključi poklapajuće rezultate
Computer architecture & logic design
1
Isključi poklapajuće rezultate
Computer programming / software engineering
1
Isključi poklapajuće rezultate
Formal Languages and Automata Theory
1
Isključi poklapajuće rezultate
GIOU
1
Isključi poklapajuće rezultate
HVAC systems
1
Isključi poklapajuće rezultate
IOU
1
Isključi poklapajuće rezultate
Logics and Meanings of Programs
1
Isključi poklapajuće rezultate
Mathematical Logic and Formal Languages
1
Isključi poklapajuće rezultate
Mathematical theory of computation
1
Isključi poklapajuće rezultate
MobileNet V2
1
Isključi poklapajuće rezultate
Software Engineering
1
Isključi poklapajuće rezultate
YOLOv3
1
Isključi poklapajuće rezultate
anchor clustering
1
Isključi poklapajuće rezultate
asset management
1
Isključi poklapajuće rezultate
pogledaj sve ...
manje ...
Jezik
Inglês
3
Isključi poklapajuće rezultate
Godina izdanja
Od:
Do:
Godina izdanja
Isprazni
×
Učitavanje...
