Mostra
1 - 2
risultati di
2
ricerca '
'
Salta al contenuto
VuFind
Il tuo account
Esci
Login Istituzionale
Lingua
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
हिंदी
Tutti i Campi
Autore
Titolo
Titolo del periodico
Soggetto
ISBN/ISSN
Tag
Cerca
Avanzata
Reset dei filtri
Soggetto:
Computer Science Logic and Foundations of Programming
Reset dei filtri
Mostra i filtri (1)
Soggetto:
Computer Science Logic and Foundations of Programming
Risultati della ricerca
Mostra
1 - 2
risultati di
2
ricerca '
'
, tempo di risposta: 0,20s
Raffina i risultati
Risultati per pagina
10
20
40
60
80
100
Ordina
Rilevanza
Data (discendente)
Data (ascendente)
Autore
Titolo
Lista
Griglia
1
Caricamento...
Automated Deduction – CADE 28
Pubblicato in
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Testo
Livro
Aggiungi alla lista
Salvato in:
2
Caricamento...
Programming Languages and Systems
Pubblicato in
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Testo
Livro
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca:
Feed RSS
—
Invia questa ricerca per email
—
Salva la ricerca
Indietro
Restringi la ricerca
Istituzione
DOAB
2
[escludi]
Collezione
Directory of Open Access Books
2
[escludi]
Natura
Livro
2
[escludi]
Autore
Platzer, André
1
[escludi]
Sutcliffe, Geoff
1
[escludi]
Yoshida, Nobuko
1
[escludi]
Soggetto
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[escludi]
Computer programming / software engineering
2
[escludi]
Logics and Meanings of Programs
2
[escludi]
Software Engineering
2
[escludi]
computer programming
2
[escludi]
espandi ...
formal logic
2
[escludi]
semantics
2
[escludi]
software design
2
[escludi]
software quality
2
[escludi]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[escludi]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[escludi]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[escludi]
Artificial Intelligence
1
[escludi]
Compilers & interpreters
1
[escludi]
Compilers and Interpreters
1
[escludi]
Computer Engineering and Networks
1
[escludi]
Computer Systems Organization and Communication Networks
1
[escludi]
Computer networking & communications
1
[escludi]
Formal Languages and Automata Theory
1
[escludi]
Mathematical Logic and Formal Languages
1
[escludi]
Mathematical theory of computation
1
[escludi]
Natural Language Processing (NLP)
1
[escludi]
Natural language & machine translation
1
[escludi]
Programming & scripting languages: general
1
[escludi]
Programming Languages, Compilers, Interpreters
1
[escludi]
automata theory
1
[escludi]
boolean functions
1
[escludi]
concurrency theory
1
[escludi]
distributed computer systems
1
[escludi]
vedi tutto ...
riduci ...
Lingua
Inglês
2
[escludi]
Anno di pubblicazione
Da:
A:
Anno di pubblicazione
Cancella
×
Caricamento...
