A mostrar
1 - 2
resultados de
2
para a pesquisa '
'
Ir para o conteúdo
VuFind
Vaš račun
Odjava
Institutional prijava
Jezik
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
हिंदी
Vsa polja
Avtor
Naslov
Naslov revije
Tema
ISBN/ISSN
Oznaka
Išči
Napredno
Reset Filters
Tema:
Computer Science Logic and Foundations of Programming
Reset Filters
Show filters (1)
Tema:
Computer Science Logic and Foundations of Programming
Rezultati
A mostrar
1 - 2
resultados de
2
para a pesquisa '
'
, čas poizvedbe: 0.07seg
Refinar resultados
Rezultatov na stran
10
20
40
60
80
100
Razvrsti
Po pomembnosti
Po padajočem datumu
Po rastočem datumu
PO AvtorJU
PO Naslovu
Seznam
Mreža
1
Nalaganje...
Automated Deduction – CADE 28
izdano v
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Polni tekst
Livro
Dodaj v priljubljene
Shranjeno v:
2
Nalaganje...
Programming Languages and Systems
izdano v
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Polni tekst
Livro
Dodaj v priljubljene
Shranjeno v:
Iskalna orodja:
RSS
—
Pošljite iskanje po emailu
—
Shrani iskanje
Nazaj
Zoži iskanje
Institucija
DOAB
2
[izključi]
Coleção
Directory of Open Access Books
2
[izključi]
Format
Livro
2
[izključi]
Avtor
Platzer, André
1
[izključi]
Sutcliffe, Geoff
1
[izključi]
Yoshida, Nobuko
1
[izključi]
Tema
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[izključi]
Computer programming / software engineering
2
[izključi]
Logics and Meanings of Programs
2
[izključi]
Software Engineering
2
[izključi]
computer programming
2
[izključi]
več ...
formal logic
2
[izključi]
semantics
2
[izključi]
software design
2
[izključi]
software quality
2
[izključi]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[izključi]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[izključi]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[izključi]
Artificial Intelligence
1
[izključi]
Compilers & interpreters
1
[izključi]
Compilers and Interpreters
1
[izključi]
Computer Engineering and Networks
1
[izključi]
Computer Systems Organization and Communication Networks
1
[izključi]
Computer networking & communications
1
[izključi]
Formal Languages and Automata Theory
1
[izključi]
Mathematical Logic and Formal Languages
1
[izključi]
Mathematical theory of computation
1
[izključi]
Natural Language Processing (NLP)
1
[izključi]
Natural language & machine translation
1
[izključi]
Programming & scripting languages: general
1
[izključi]
Programming Languages, Compilers, Interpreters
1
[izključi]
automata theory
1
[izključi]
boolean functions
1
[izključi]
concurrency theory
1
[izključi]
distributed computer systems
1
[izključi]
poglej vse ...
manj ...
Jezik
Inglês
2
[izključi]
Leto izdaje
Od:
Za:
Leto izdaje
Clear
×
Nalaganje...
