Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Ο λογαριασμός μου
Έξοδος
Ιδρυματικός λογαριασμός
Γλώσσα
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
हिंदी
Όλα τα πεδία
Συγγραφέας
Τίτλος
Τίτλος περιοδικού
Θέμα
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Θέμα:
logic programming
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Θέμα:
logic programming
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,18δλ
Περιορισμός αποτελεσμάτων
Αποτελέσματα ανά σελίδα
10
20
40
60
80
100
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανά συγγραφέα
Ανά Τίτλο
Λίστα
Πλέγμα
1
Φορτώνει......
Algorithms for Smart Cities
Έκδοση 2024
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Φορτώνει......
Automated Deduction – CADE 28
Τόπος έκδοσης
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Φορτώνει......
Automated Reasoning
Τόπος έκδοσης
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2022)
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης:
Λήψη RSS
—
Αποστολή αναζήτησης με email
—
Αποθήκευση αναζήτησης
Πίσω
Περιορισμός αναζήτησης
Ίδρυμα
DOAB
3
[εξαιρέσεις]
Συλλογή
Directory of Open Access Books
3
[εξαιρέσεις]
Μορφή
Livro
3
[εξαιρέσεις]
Συγγραφέας
Blanchette, Jasmin
1
[εξαιρέσεις]
Cerasela Crişan, Gloria
1
[εξαιρέσεις]
Kovács, Laura
1
[εξαιρέσεις]
Nechita, Elena
1
[εξαιρέσεις]
Pattinson, Dirk
1
[εξαιρέσεις]
Platzer, André
1
[εξαιρέσεις]
περισσότερα ...
Sutcliffe, Geoff
1
[εξαιρέσεις]
Προβολή όλων ...
λιγότερα ...
Θέμα
logic programming
artificial intelligence
2
[εξαιρέσεις]
automata theory
2
[εξαιρέσεις]
computer programming
2
[εξαιρέσεις]
formal languages
2
[εξαιρέσεις]
formal logic
2
[εξαιρέσεις]
περισσότερα ...
semantics
2
[εξαιρέσεις]
software architecture
2
[εξαιρέσεις]
software design
2
[εξαιρέσεις]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[εξαιρέσεις]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[εξαιρέσεις]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
[εξαιρέσεις]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[εξαιρέσεις]
Artificial Intelligence
1
[εξαιρέσεις]
CO2 variations prediction
1
[εξαιρέσεις]
Computer Science Logic and Foundations of Programming
1
[εξαιρέσεις]
Computer architecture & logic design
1
[εξαιρέσεις]
Computer programming / software engineering
1
[εξαιρέσεις]
Formal Languages and Automata Theory
1
[εξαιρέσεις]
GIOU
1
[εξαιρέσεις]
HVAC systems
1
[εξαιρέσεις]
IOU
1
[εξαιρέσεις]
Logics and Meanings of Programs
1
[εξαιρέσεις]
Mathematical Logic and Formal Languages
1
[εξαιρέσεις]
Mathematical theory of computation
1
[εξαιρέσεις]
MobileNet V2
1
[εξαιρέσεις]
Software Engineering
1
[εξαιρέσεις]
YOLOv3
1
[εξαιρέσεις]
anchor clustering
1
[εξαιρέσεις]
asset management
1
[εξαιρέσεις]
Προβολή όλων ...
λιγότερα ...
Γλώσσα
Inglês
3
[εξαιρέσεις]
Έτος έκδοσης
από:
έως:
Έτος έκδοσης
Καθαρισμός
×
Φορτώνει......
