Результати пошуку - "automated reasoning"

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Предмети: “...automated reasoning...”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Предмети: “...automated reasoning...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Предмети: “...automated reasoning...”
DOAB: download the publication
DOAB: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Предмети: “...automated reasoning...”
OAPEN Library: download the publication
OAPEN Library: description of the publication