A mostrar
1 - 3
resultados de
3
para a pesquisa '
'
Ir para o conteúdo
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
תג
מצא
מתקדם
Reset Filters
נושא:
logic programming
Reset Filters
Show filters (1)
נושא:
logic programming
תוצאות חיפוש
A mostrar
1 - 3
resultados de
3
para a pesquisa '
'
, זמן שאילתה: 0.11seg
Refinar resultados
תוצאות בכל עמוד
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)
—
שליחת חיפוש דרך דואל
—
שמירת חיפוש
חזרה
צמצם חיפוש
מוסד
DOAB
3
[excluír]
Coleção
Directory of Open Access Books
3
[excluír]
פורמט
Livro
3
[excluír]
מחבר
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]
יותר ...
Sutcliffe, Geoff
1
[excluír]
ראה את כולם ...
פחות ...
נושא
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]
יותר ...
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]
ראה את כולם ...
פחות ...
שפה
Inglês
3
[excluír]
שנת הוצאה לאור
מ:
אל:
שנת הוצאה לאור
Clear
×
טוען...