Résultat(s)
1 - 2
résultats de
2
pour la requête '
'
Aller au contenu
VuFind
Votre compte
Se déconnecter
Accéder à votre institution
Langue
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
हिंदी
Tous les champs
Auteur
Titre
Titre de revue
Sujet
ISBN/ISSN
Tag
Rechercher
Recherche avancée
Réinitialiser les filtres
Sujet:
Computer Science Logic and Foundations of Programming
Réinitialiser les filtres
Montrer les filtres (1)
Sujet:
Computer Science Logic and Foundations of Programming
Résultats de la recherche
Résultat(s)
1 - 2
résultats de
2
pour la requête '
'
, Temps de recherche: 0,10s
Affiner les résultats
Résultats par page
10
20
40
60
80
100
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Liste
Grille
1
Chargement en cours...
Automated Deduction – CADE 28
Publié dans
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Accéder au texte intégral
Livro
Ajouter aux favoris
Enregistré dans:
2
Chargement en cours...
Programming Languages and Systems
Publié dans
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Accéder au texte intégral
Livro
Ajouter aux favoris
Enregistré dans:
Outils de recherche:
S'abonner aux flux RSS
—
Envoyer cette recherche par courriel
—
Enregistrer la recherche
Retour
Restreindre la recherche
Institution
DOAB
2
[exclure]
Collection
Directory of Open Access Books
2
[exclure]
Format
Livro
2
[exclure]
Auteur
Platzer, André
1
[exclure]
Sutcliffe, Geoff
1
[exclure]
Yoshida, Nobuko
1
[exclure]
Sujet
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[exclure]
Computer programming / software engineering
2
[exclure]
Logics and Meanings of Programs
2
[exclure]
Software Engineering
2
[exclure]
computer programming
2
[exclure]
plus ...
formal logic
2
[exclure]
semantics
2
[exclure]
software design
2
[exclure]
software quality
2
[exclure]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[exclure]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[exclure]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[exclure]
Artificial Intelligence
1
[exclure]
Compilers & interpreters
1
[exclure]
Compilers and Interpreters
1
[exclure]
Computer Engineering and Networks
1
[exclure]
Computer Systems Organization and Communication Networks
1
[exclure]
Computer networking & communications
1
[exclure]
Formal Languages and Automata Theory
1
[exclure]
Mathematical Logic and Formal Languages
1
[exclure]
Mathematical theory of computation
1
[exclure]
Natural Language Processing (NLP)
1
[exclure]
Natural language & machine translation
1
[exclure]
Programming & scripting languages: general
1
[exclure]
Programming Languages, Compilers, Interpreters
1
[exclure]
automata theory
1
[exclure]
boolean functions
1
[exclure]
concurrency theory
1
[exclure]
distributed computer systems
1
[exclure]
voir tous les ...
moins ...
Langue
Inglês
2
[exclure]
Année de publication
De:
À:
Année de publication
Effacer
×
Chargement en cours...