Toon
1 - 2
resultaten van
2
Voor zoekopdracht '
'
Ga door naar de inhoud
VuFind
Jouw account
Uitloggen
Institutionele login
Taal
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
हिंदी
Alle velden
Auteur
Titel
Titel tijdschrift
Onderwerp
ISBN/ISSN
Tag
Zoek
Geavanceerd
Wis alle filters
Onderwerp:
Computer Science Logic and Foundations of Programming
Wis alle filters
Toon filters (1)
Onderwerp:
Computer Science Logic and Foundations of Programming
Zoekresultaten
Toon
1 - 2
resultaten van
2
Voor zoekopdracht '
'
, zoektijd: 0,10s
Verfijn jouw resultaten
Resultaten per pagina
10
20
40
60
80
100
Sorteren
Relevantie
Datum Aflopend
Datum Oplopend
Auteur
Titel
Lijst
Tegels
1
Wordt geladen...
Automated Deduction – CADE 28
Gepubliceerd in
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Volledige tekst
Livro
Toevoegen aan favorieten
Bewaard in:
2
Wordt geladen...
Programming Languages and Systems
Gepubliceerd in
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Volledige tekst
Livro
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten:
Abonneren op RSS-datastromen
—
Zoekopdracht versturen
—
Sla zoekopdracht op
Terug
Verfijnd zoeken
Instelling
DOAB
2
[uitsluiten]
Collectie
Directory of Open Access Books
2
[uitsluiten]
Formaat
Livro
2
[uitsluiten]
Auteur
Platzer, André
1
[uitsluiten]
Sutcliffe, Geoff
1
[uitsluiten]
Yoshida, Nobuko
1
[uitsluiten]
Onderwerp
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[uitsluiten]
Computer programming / software engineering
2
[uitsluiten]
Logics and Meanings of Programs
2
[uitsluiten]
Software Engineering
2
[uitsluiten]
computer programming
2
[uitsluiten]
meer ...
formal logic
2
[uitsluiten]
semantics
2
[uitsluiten]
software design
2
[uitsluiten]
software quality
2
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[uitsluiten]
Artificial Intelligence
1
[uitsluiten]
Compilers & interpreters
1
[uitsluiten]
Compilers and Interpreters
1
[uitsluiten]
Computer Engineering and Networks
1
[uitsluiten]
Computer Systems Organization and Communication Networks
1
[uitsluiten]
Computer networking & communications
1
[uitsluiten]
Formal Languages and Automata Theory
1
[uitsluiten]
Mathematical Logic and Formal Languages
1
[uitsluiten]
Mathematical theory of computation
1
[uitsluiten]
Natural Language Processing (NLP)
1
[uitsluiten]
Natural language & machine translation
1
[uitsluiten]
Programming & scripting languages: general
1
[uitsluiten]
Programming Languages, Compilers, Interpreters
1
[uitsluiten]
automata theory
1
[uitsluiten]
boolean functions
1
[uitsluiten]
concurrency theory
1
[uitsluiten]
distributed computer systems
1
[uitsluiten]
Bekijk alles ...
minder ...
Taal
Inglês
2
[uitsluiten]
Publicatiejaar
Van:
Tot:
Publicatiejaar
Wissen
×
Wordt geladen...
