Počet záznamů: 1
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
- 1.Savický, Petr - Kučera, P.
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Freiburg: IJCAI, 2017 - (Sierra, C.), s. 5055-5059. ISBN 978-0-9992411-0-3.
[IJCAI 2017. International Joint Conference on Artificial Intelligence /26./. Melbourne (AU), 19.08.2017-25.08.2017]
https://www.ijcai.org/proceedings/2017/0721.pdf
http://hdl.handle.net/11104/0276554
Počet záznamů: 1