BibTeX记录日志/jar/BozzanoBCJRSS05
@文章{DBLP:journals/jar/BozzanoBCJRSS05, author={Marco Bozzano和 罗伯托·布鲁托梅索和 亚历山德罗·西马蒂和 汤米·A·琼蒂拉和 Peter van Rossum和 斯蒂芬·舒尔茨和 罗伯托·塞巴斯蒂安尼}, title={MathSAT:{SAT}与数学决策程序}的紧密结合, 日志={J.自动原因}, 体积={35}, 数字={1-3}, 页数={265--293}, 年份={2005}, url={ https://doi.org/10.1007/s10817-005-9004-z }, doi={10.1007/S10817-005-9004-Z}, timestamp={2021年10月14日星期四09:28:14+0200}, 比布尔={ https://dblp.org/rec/journals/jar/BozzanoBCJRSS05.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }