A mostrar
1 - 2
resultados de
2
para a pesquisa '
'
Ir para o conteúdo
VuFind
Do Chuntas
Logáil Amach
Logáil Isteach Institiúide
Teanga
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
हिंदी
Gach Réimse
Údar
Teideal
Teideal an Iriseáin
Ábhar
ISBN/ISSN
Clib
Aimsigh
Ardroghanna
Reset Filters
Ábhar:
Computer Science Logic and Foundations of Programming
Reset Filters
Show filters (1)
Ábhar:
Computer Science Logic and Foundations of Programming
Torthaí Cuardaigh
A mostrar
1 - 2
resultados de
2
para a pesquisa '
'
, am an iarratais: 0.14seg
Refinar resultados
Torthaí in aghaidh an leathnaigh
10
20
40
60
80
100
Sórtáil
Ábharthacht
Dáta in Ord Íslitheach
Dáta in Ord Ardaitheach
Údar
Teideal
Liosta
Eangach
1
Á lódáil...
Automated Deduction – CADE 28
Foilsithe in
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
2
Á lódáil...
Programming Languages and Systems
Foilsithe in
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
Uirlisí Cuardaigh:
Faigh Fotha RSS
—
Seol an Cuardach seo mar Ríomhphost
—
Sábháil an Cuardach
Voltar
Cuardach Cúng
Institiúid
DOAB
2
[excluír]
Coleção
Directory of Open Access Books
2
[excluír]
Formáid
Livro
2
[excluír]
Údar
Platzer, André
1
[excluír]
Sutcliffe, Geoff
1
[excluír]
Yoshida, Nobuko
1
[excluír]
Ábhar
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]
tuilleadh ...
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]
féach gach rud ...
lúide ...
Teanga
Inglês
2
[excluír]
Bliain Foilsithe
Ó:
Chuig:
Bliain Foilsithe
Clear
×
Á lódáil...
