Resultats de la cerca

Mostrar 1 - 3 resultats de 3 per cerca '', hora de la petició: 0.13sec Refinar resultats

Resultats per pàgina

Ordenar

Llistat Quadrícula

Carregant...

Algorithms for Smart Cities

Publicat 2024

Obtenir text complet

Livro

Afegir a favorits

Guardat en:

Carregant...

Automated Deduction – CADE 28

Publicat a Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Obtenir text complet

Livro

Afegir a favorits

Guardat en:

Carregant...

Automated Reasoning

Publicat a Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

Obtenir text complet

Livro

Afegir a favorits

Guardat en:

Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca — Guardar cerca

Afineu la vostra cerca

DOAB 3 [excloure]

Directory of Open Access Books 3 [excloure]

Livro 3 [excloure]

Blanchette, Jasmin 1 [excloure]

Cerasela Crişan, Gloria 1 [excloure]

Kovács, Laura 1 [excloure]

Nechita, Elena 1 [excloure]

Pattinson, Dirk 1 [excloure]

Platzer, André 1 [excloure]

més ...

Sutcliffe, Geoff 1 [excloure]

veure tots ... menys ...

logic programming

artificial intelligence 2 [excloure]

automata theory 2 [excloure]

computer programming 2 [excloure]

formal languages 2 [excloure]

formal logic 2 [excloure]

més ...

semantics 2 [excloure]

software architecture 2 [excloure]

software design 2 [excloure]

thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 2 [excloure]

thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 2 [excloure]

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 2 [excloure]

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

Artificial Intelligence 1 [excloure]

CO2 variations prediction 1 [excloure]

Computer Science Logic and Foundations of Programming 1 [excloure]

Computer architecture & logic design 1 [excloure]

Computer programming / software engineering 1 [excloure]

Formal Languages and Automata Theory 1 [excloure]

GIOU 1 [excloure]

HVAC systems 1 [excloure]

IOU 1 [excloure]

Logics and Meanings of Programs 1 [excloure]

Mathematical Logic and Formal Languages 1 [excloure]

Mathematical theory of computation 1 [excloure]

MobileNet V2 1 [excloure]

Software Engineering 1 [excloure]

YOLOv3 1 [excloure]

anchor clustering 1 [excloure]

asset management 1 [excloure]

veure tots ... menys ...

Inglês 3 [excloure]

Des de:

Any de publicació

Netejar