Rezultaty
1 - 2
Rezultaty od
2
Dla wyszukiwania '
'
Przejdź do treści
VuFind
Konto czytelnika
Logout
Logowanie instytutycjonalne
Język
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
हिंदी
Wszystkie pola
Autor
Tytuł
Tytuł czasopisma
Hasło przedmiotowe
ISBN / ISSN
Etykieta
Szukaj
Wyszukiwanie zaawansowane
Usuń filtry
Hasło przedmiotowe:
Computer Science Logic and Foundations of Programming
Usuń filtry
Pokaż filtry (1)
Hasło przedmiotowe:
Computer Science Logic and Foundations of Programming
Rezultaty
Rezultaty
1 - 2
Rezultaty od
2
Dla wyszukiwania '
'
, Czas wyszukiwania: 0,13s
Redukuj rezultaty
Rezultaty na stronę
10
20
40
60
80
100
Sortuj
Ważność
Według najnowszych
Według najstarszych
Autor
Tytuł
Lista
do wersji Grid
1
Ładuje się......
Automated Deduction – CADE 28
Wydane w
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Dokumenty pełnotekstowe
Livro
Dodaj do listy ulubionych książek
Zapisane w:
2
Ładuje się......
Programming Languages and Systems
Wydane w
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Dokumenty pełnotekstowe
Livro
Dodaj do listy ulubionych książek
Zapisane w:
Narzędzie wyszukiwania:
Abonuj RSS
—
Wyślij rezultaty emailem
—
Zapisz wyszukiwanie
z powrotem
Redukuj rezultaty
Instytucja
DOAB
2
[Usuń]
Kolekcja
Directory of Open Access Books
2
[Usuń]
Format
Livro
2
[Usuń]
Autor
Platzer, André
1
[Usuń]
Sutcliffe, Geoff
1
[Usuń]
Yoshida, Nobuko
1
[Usuń]
Hasło przedmiotowe
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[Usuń]
Computer programming / software engineering
2
[Usuń]
Logics and Meanings of Programs
2
[Usuń]
Software Engineering
2
[Usuń]
computer programming
2
[Usuń]
Więcej ...
formal logic
2
[Usuń]
semantics
2
[Usuń]
software design
2
[Usuń]
software quality
2
[Usuń]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[Usuń]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[Usuń]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[Usuń]
Artificial Intelligence
1
[Usuń]
Compilers & interpreters
1
[Usuń]
Compilers and Interpreters
1
[Usuń]
Computer Engineering and Networks
1
[Usuń]
Computer Systems Organization and Communication Networks
1
[Usuń]
Computer networking & communications
1
[Usuń]
Formal Languages and Automata Theory
1
[Usuń]
Mathematical Logic and Formal Languages
1
[Usuń]
Mathematical theory of computation
1
[Usuń]
Natural Language Processing (NLP)
1
[Usuń]
Natural language & machine translation
1
[Usuń]
Programming & scripting languages: general
1
[Usuń]
Programming Languages, Compilers, Interpreters
1
[Usuń]
automata theory
1
[Usuń]
boolean functions
1
[Usuń]
concurrency theory
1
[Usuń]
distributed computer systems
1
[Usuń]
Zobacz wszystkie ...
Mniej ...
Język
Inglês
2
[Usuń]
Rok wydania
od:
do:
Rok wydania
Opróżnić, opróżnij
×
Ładuje się......
