Resultados da pesquisa - "Logic in AI"
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
- Computer science 7
- Artificial intelligence 6
- Logic in AI 6
- Logic programming 6
- Computer networking & communications 4
- Computer programming / software development 4
- Computer Engineering and Networks 3
- Computer engineering 3
- Computer networks 3
- Discrete mathematics 3
- Software Engineering 3
- Software engineering 3
- Business mathematics & systems 2
- Computer Science Logic and Foundations of Programming 2
- Control Structures and Microprogramming 2
- Databases 2
- Formal Languages and Automata Theory 2
- Information retrieval 2
- Machine theory 2
- Mathematical foundations 2
- Microprogramming 2
- Programming & scripting languages: general 2
- Public administration 2
- Theory of Computation 2
- Algorithms 1
- Application software 1
- Business Information Systems 1
- Business information services 1
- Coding and Information Theory 1
- Coding theory 1
-
1
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Publicado em 2021Assuntos: “...Logic in AI....”
Link to Metadata
Recurso Electrónico livro electrónico -
2
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Publicado em 2019Assuntos: “...Logic in AI....”
Link to Metadata
Recurso Electrónico livro electrónico -
3
Knowledge Graphs and Big Data Processing
Publicado em 2020Assuntos: “...Logic in AI....”
Link to Metadata
Recurso Electrónico livro electrónico -
4
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Publicado em 2022Assuntos: “...Logic in AI....”
Link to Metadata
Recurso Electrónico livro electrónico -
5
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Publicado em 2019Assuntos: “...Logic in AI....”
Link to Metadata
Recurso Electrónico livro electrónico -
6
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Publicado em 2020Assuntos: “...Logic in AI....”
Link to Metadata
Recurso Electrónico livro electrónico -
7
Knowledge Graphs and Big Data Processing
Publicado em 2020Assuntos: “...Logic in AI...”
DOAB: download the publication
DOAB: description of the publication
Recurso Electrónico Capítulo de Livro -
8
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Publicado em 2021Assuntos: “...Logic in AI...”
DOAB: download the publication
DOAB: description of the publication
Recurso Electrónico Capítulo de Livro -
9
Knowledge Graphs and Big Data Processing
Publicado em 2020Assuntos: “...Logic in AI...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Electrónico Capítulo de Livro -
10
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Publicado em 2021Assuntos: “...Logic in AI...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Electrónico Capítulo de Livro -
11
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Publicado em 2020Assuntos: “...Logic in AI...”
DOAB: download the publication
DOAB: description of the publication
Recurso Electrónico Capítulo de Livro -
12
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Publicado em 2020Assuntos: “...Logic in AI...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Electrónico Capítulo de Livro