%0 Conference Paper %1 conf/uksim/QiaoZS09 %A Qiao, Xiaodong %A Zhang, Yinsheng %A Shi, Qixian %B UKSim %D 2009 %E Al-Dabass, David %I IEEE Computer Society %K dblp %P 4-8 %T A Deductive System of Aristotelian Syllogism. %U http://dblp.uni-trier.de/db/conf/uksim/uksim2009.html#QiaoZS09 %@ 978-0-7695-3593-7

@inproceedings{conf/uksim/QiaoZS09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Qiao, Xiaodong and Zhang, Yinsheng and Shi, Qixian}, biburl = {https://www.bibsonomy.org/bibtex/2eec6698f5cf82a702961aa6ae3d3d135/dblp}, booktitle = {UKSim}, crossref = {conf/uksim/2009}, editor = {Al-Dabass, David}, ee = {https://doi.ieeecomputersociety.org/10.1109/UKSIM.2009.114}, interhash = {c1d44962bbee1b373021561d8b1fe89d}, intrahash = {eec6698f5cf82a702961aa6ae3d3d135}, isbn = {978-0-7695-3593-7}, keywords = {dblp}, pages = {4-8}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:35:13.000+0200}, title = {A Deductive System of Aristotelian Syllogism.}, url = {http://dblp.uni-trier.de/db/conf/uksim/uksim2009.html#QiaoZS09}, year = 2009 }