Résultats de la recherche

Résultat(s) 1 - 3 résultats de 3 pour la requête '', Temps de recherche: 0,09s Affiner les résultats

Résultats par page

Trier

Liste Grille

Chargement en cours...

Algorithms for Smart Cities

Publié 2024

Accéder au texte intégral

Livro

Ajouter aux favoris

Enregistré dans:

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:

Chargement en cours...

Automated Reasoning

Publié dans Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

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

Restreindre la recherche

DOAB 3 [exclure]

Directory of Open Access Books 3 [exclure]

Livro 3 [exclure]

Blanchette, Jasmin 1 [exclure]

Cerasela Crişan, Gloria 1 [exclure]

Kovács, Laura 1 [exclure]

Nechita, Elena 1 [exclure]

Pattinson, Dirk 1 [exclure]

Platzer, André 1 [exclure]

plus ...

Sutcliffe, Geoff 1 [exclure]

voir tous les ... moins ...

logic programming

artificial intelligence 2 [exclure]

automata theory 2 [exclure]

computer programming 2 [exclure]

formal languages 2 [exclure]

formal logic 2 [exclure]

plus ...

semantics 2 [exclure]

software architecture 2 [exclure]

software design 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::UYA Mathematical theory of computation 2 [exclure]

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 2 [exclure]

Artificial Intelligence 1 [exclure]

CO2 variations prediction 1 [exclure]

Computer Science Logic and Foundations of Programming 1 [exclure]

Computer architecture & logic design 1 [exclure]

Computer programming / software engineering 1 [exclure]

Formal Languages and Automata Theory 1 [exclure]

GIOU 1 [exclure]

HVAC systems 1 [exclure]

IOU 1 [exclure]

Logics and Meanings of Programs 1 [exclure]

Mathematical Logic and Formal Languages 1 [exclure]

Mathematical theory of computation 1 [exclure]

MobileNet V2 1 [exclure]

Software Engineering 1 [exclure]

YOLOv3 1 [exclure]

anchor clustering 1 [exclure]

asset management 1 [exclure]

voir tous les ... moins ...

Inglês 3 [exclure]

De:

À:

Année de publication

Effacer