Leaganacha - Automated Deduction - CADE 28
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- Artificial intelligence 3
- Software Engineering 3
- Computer programming / software development 2
- Mathematical theory of computation 2
- Artificial Intelligence 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Formal Languages and Automata Theory 1
- Machine theory 1
- Software engineering 1
-
1
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Foilsithe / Cruthaithe 2021Link to Metadata
Leictreonach Ríomhleabhar -
2
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Foilsithe / Cruthaithe 2021DOAB: download the publication
DOAB: description of the publication
Leictreonach Caibidil leabhair -
3
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Foilsithe / Cruthaithe 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Leictreonach Caibidil leabhair