Showing
1 - 2
results of
2
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:
Computer Science Logic and Foundations of Programming
Reset Filters
Show filters (1)
Subject:
Computer Science Logic and Foundations of Programming
Search Results
Showing
1 - 2
results of
2
for search '
'
, query time: 0.24s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
1
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:
2
Loading...
Programming Languages and Systems
Published in
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Get full text
Livro
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
DOAB
2
Exclude matching results
Collection
Directory of Open Access Books
2
Exclude matching results
Format
Livro
2
Exclude matching results
Author
Platzer, André
1
Exclude matching results
Sutcliffe, Geoff
1
Exclude matching results
Yoshida, Nobuko
1
Exclude matching results
Subject
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
Exclude matching results
Computer programming / software engineering
2
Exclude matching results
Logics and Meanings of Programs
2
Exclude matching results
Software Engineering
2
Exclude matching results
computer programming
2
Exclude matching results
more ...
formal logic
2
Exclude matching results
semantics
2
Exclude matching results
software design
2
Exclude matching results
software quality
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::UYQ Artificial intelligence
2
Exclude matching results
Artificial Intelligence
1
Exclude matching results
Compilers & interpreters
1
Exclude matching results
Compilers and Interpreters
1
Exclude matching results
Computer Engineering and Networks
1
Exclude matching results
Computer Systems Organization and Communication Networks
1
Exclude matching results
Computer networking & communications
1
Exclude matching results
Formal Languages and Automata Theory
1
Exclude matching results
Mathematical Logic and Formal Languages
1
Exclude matching results
Mathematical theory of computation
1
Exclude matching results
Natural Language Processing (NLP)
1
Exclude matching results
Natural language & machine translation
1
Exclude matching results
Programming & scripting languages: general
1
Exclude matching results
Programming Languages, Compilers, Interpreters
1
Exclude matching results
automata theory
1
Exclude matching results
boolean functions
1
Exclude matching results
concurrency theory
1
Exclude matching results
distributed computer systems
1
Exclude matching results
see all ...
less ...
Language
Inglês
2
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...
