- Publications
- Search
- Statistics
Prime Compilation of Non-Clausal Formulae
AuthID
P-00K-1D2
P-00K-1D2
4
Author(s)
2
Editor(s)
Qiang Yang 0001; Michael Wooldridge
Document Type
Proceedings Paper
Year published
2015
Published
in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 in IJCAI, ISSN: 1045-0823
Volume: 2015-January, Pages: 1980-1988
Conference
24Th International Joint Conference on Artificial Intelligence, Ijcai 2015, Date: 25 July 2015 through 31 July 2015, Sponsors: Alibaba.com;Department of Computer Science and Engineering at Universidad Nacional del Sur;Department of Computer Science at the School of Exact and Natural Sciences of Buenos Aires University;et al.;International Joint Conferences on Artificial Intelligence (IJCAI);Ministry of Science, Technology and Productive Innovation
Indexing
Publication Identifiers
Dblp: conf/ijcai/PrevitiIMM15
Scopus: 2-s2.0-84949742061
Source Identifiers
ISSN: 1045-0823
Export Publication Metadata
Publication Export Settings
Marked List
Info
At this moment we don't have any links to full text documens.