Asta Halkjær From
According to our database^{1},
Asta Halkjær From
authored at least 12 papers
between 2017 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on twitter.com

on orcid.org

on github.com
On csauthors.net:
Bibliography
2020
Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020
Proceedings of the Automated Reasoning  10th International Joint Conference, 2020
2019
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
2018
Proceedings of the MultiAgent Programming Contest 2018, 2018
Int. J. Agent Oriented Softw. Eng., 2018
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018
Arch. Formal Proofs, 2018
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning colocated with Federated Logic Conference 2018 (FLoC 2018), 2018
2017
Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017