학술논문
Approximations for model construction
Document Type
Conference Paper
Author
Source
In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8562 LNAI:344-359)
Subject
Language
English
ISSN
16113349
03029743
03029743