Mostrar
1 - 2
resultats de
2
per cerca '
'
Anar al contingut
VuFind
El teu compte
Tancar la sessió
Autenticació institucional
Idioma
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
हिंदी
Tots els camps
Autor
Títol
Títol de la revista
Matèria
ISBN/ISSN
Etiqueta
Trobar
Avançada
Eliminar filtres
Matèria:
Computer Science Logic and Foundations of Programming
Eliminar filtres
Veure filtres (1)
Matèria:
Computer Science Logic and Foundations of Programming
Resultats de la cerca
Mostrar
1 - 2
resultats de
2
per cerca '
'
, hora de la petició: 0.09sec
Refinar resultats
Resultats per pàgina
10
20
40
60
80
100
Ordenar
Rellevància
Data Descendent
Data Ascendent
Autor
Títol
Llistat
Quadrícula
1
Carregant...
Automated Deduction – CADE 28
Publicat a
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Obtenir text complet
Livro
Afegir a favorits
Guardat en:
2
Carregant...
Programming Languages and Systems
Publicat a
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Obtenir text complet
Livro
Afegir a favorits
Guardat en:
Eines de cerca:
Obtenir subscripció RSS
—
Enviar per correu electrònic aquesta cerca
—
Guardar cerca
Back
Afineu la vostra cerca
Institution
DOAB
2
[excloure]
Col·lecció
Directory of Open Access Books
2
[excloure]
Format
Livro
2
[excloure]
Autor
Platzer, André
1
[excloure]
Sutcliffe, Geoff
1
[excloure]
Yoshida, Nobuko
1
[excloure]
Matèria
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[excloure]
Computer programming / software engineering
2
[excloure]
Logics and Meanings of Programs
2
[excloure]
Software Engineering
2
[excloure]
computer programming
2
[excloure]
més ...
formal logic
2
[excloure]
semantics
2
[excloure]
software design
2
[excloure]
software quality
2
[excloure]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[excloure]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[excloure]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[excloure]
Artificial Intelligence
1
[excloure]
Compilers & interpreters
1
[excloure]
Compilers and Interpreters
1
[excloure]
Computer Engineering and Networks
1
[excloure]
Computer Systems Organization and Communication Networks
1
[excloure]
Computer networking & communications
1
[excloure]
Formal Languages and Automata Theory
1
[excloure]
Mathematical Logic and Formal Languages
1
[excloure]
Mathematical theory of computation
1
[excloure]
Natural Language Processing (NLP)
1
[excloure]
Natural language & machine translation
1
[excloure]
Programming & scripting languages: general
1
[excloure]
Programming Languages, Compilers, Interpreters
1
[excloure]
automata theory
1
[excloure]
boolean functions
1
[excloure]
concurrency theory
1
[excloure]
distributed computer systems
1
[excloure]
veure tots ...
menys ...
Idioma
Inglês
2
[excloure]
Any de publicació
Des de:
A:
Any de publicació
Netejar
×
Carregant...
