A mostrar
1 - 2
resultados de
2
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
主題:
Computer Science Logic and Foundations of Programming
Reset Filters
Show filters (1)
主題:
Computer Science Logic and Foundations of Programming
檢索結果
A mostrar
1 - 2
resultados de
2
para a pesquisa '
'
, 查詢時間: 0.18seg
Refinar resultados
結果/頁
10
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
作者排序
標題
清單
網格
1
載入...
Automated Deduction – CADE 28
發表在
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
獲取全文
Livro
加到收藏夾
Na minha lista:
2
載入...
Programming Languages and Systems
發表在
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
獲取全文
Livro
加到收藏夾
Na minha lista:
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Voltar
縮小搜索
機構
DOAB
2
[excluír]
Coleção
Directory of Open Access Books
2
[excluír]
格式
Livro
2
[excluír]
作者
Platzer, André
1
[excluír]
Sutcliffe, Geoff
1
[excluír]
Yoshida, Nobuko
1
[excluír]
主題
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[excluír]
Computer programming / software engineering
2
[excluír]
Logics and Meanings of Programs
2
[excluír]
Software Engineering
2
[excluír]
computer programming
2
[excluír]
更多 ...
formal logic
2
[excluír]
semantics
2
[excluír]
software design
2
[excluír]
software quality
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::UYQ Artificial intelligence
2
[excluír]
Artificial Intelligence
1
[excluír]
Compilers & interpreters
1
[excluír]
Compilers and Interpreters
1
[excluír]
Computer Engineering and Networks
1
[excluír]
Computer Systems Organization and Communication Networks
1
[excluír]
Computer networking & communications
1
[excluír]
Formal Languages and Automata Theory
1
[excluír]
Mathematical Logic and Formal Languages
1
[excluír]
Mathematical theory of computation
1
[excluír]
Natural Language Processing (NLP)
1
[excluír]
Natural language & machine translation
1
[excluír]
Programming & scripting languages: general
1
[excluír]
Programming Languages, Compilers, Interpreters
1
[excluír]
automata theory
1
[excluír]
boolean functions
1
[excluír]
concurrency theory
1
[excluír]
distributed computer systems
1
[excluír]
查看所有 ...
少 ...
語言
Inglês
2
[excluír]
出版年
來自:
到:
出版年
Clear
×
載入...