Showing
1 - 3
results of
3
for search '
'
Skip to content
VuFind
Your Account
Log Out
Institutional Login
Language
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
हिंदी
All Fields
Author
Title
Journal Title
Subject
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Subject:
logic programming
Reset Filters
Show filters (1)
Subject:
logic programming
Search Results
Showing
1 - 3
results of
3
for search '
'
, query time: 0.11s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
1
Loading...
Algorithms for Smart Cities
Published 2024
Get full text
Livro
Save to List
Saved in:
2
Loading...
Automated Deduction – CADE 28
Published in
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Get full text
Livro
Save to List
Saved in:
3
Loading...
Automated Reasoning
Published in
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2022)
Get full text
Livro
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
DOAB
3
Exclude matching results
Collection
Directory of Open Access Books
3
Exclude matching results
Format
Livro
3
Exclude matching results
Author
Blanchette, Jasmin
1
Exclude matching results
Cerasela Crişan, Gloria
1
Exclude matching results
Kovács, Laura
1
Exclude matching results
Nechita, Elena
1
Exclude matching results
Pattinson, Dirk
1
Exclude matching results
Platzer, André
1
Exclude matching results
more ...
Sutcliffe, Geoff
1
Exclude matching results
see all ...
less ...
Subject
logic programming
artificial intelligence
2
Exclude matching results
automata theory
2
Exclude matching results
computer programming
2
Exclude matching results
formal languages
2
Exclude matching results
formal logic
2
Exclude matching results
more ...
semantics
2
Exclude matching results
software architecture
2
Exclude matching results
software design
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
Exclude matching results
Artificial Intelligence
1
Exclude matching results
CO2 variations prediction
1
Exclude matching results
Computer Science Logic and Foundations of Programming
1
Exclude matching results
Computer architecture & logic design
1
Exclude matching results
Computer programming / software engineering
1
Exclude matching results
Formal Languages and Automata Theory
1
Exclude matching results
GIOU
1
Exclude matching results
HVAC systems
1
Exclude matching results
IOU
1
Exclude matching results
Logics and Meanings of Programs
1
Exclude matching results
Mathematical Logic and Formal Languages
1
Exclude matching results
Mathematical theory of computation
1
Exclude matching results
MobileNet V2
1
Exclude matching results
Software Engineering
1
Exclude matching results
YOLOv3
1
Exclude matching results
anchor clustering
1
Exclude matching results
asset management
1
Exclude matching results
see all ...
less ...
Language
Inglês
3
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...
