Sonic - Non-standard Inferences Go OilEd
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Turhan, Anni-YasminLibreCat;
Kissig, Christian
Editor
Basin, David A.;
Rusinowitch, Michaël
Publishing Year
Proceedings Title
Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
forms.conference.field.series_title_volume.label
Lecture Notes in Computer Science
Volume
3097
Page
321–325
LibreCat-ID
Cite this
Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin DA, Rusinowitch M, eds. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Vol 3097. Lecture Notes in Computer Science. Springer; 2004:321–325. doi:10.1007/978-3-540-25984-8_22
Turhan, A.-Y., & Kissig, C. (2004). Sonic - Non-standard Inferences Go OilEd. In D. A. Basin & M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Vol. 3097, pp. 321–325). Springer. https://doi.org/10.1007/978-3-540-25984-8_22
@inproceedings{Turhan_Kissig_2004, series={Lecture Notes in Computer Science}, title={Sonic - Non-standard Inferences Go OilEd}, volume={3097}, DOI={10.1007/978-3-540-25984-8_22}, booktitle={Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Basin, David A. and Rusinowitch, Michaël}, year={2004}, pages={321–325}, collection={Lecture Notes in Computer Science} }
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” In Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-25984-8_22.
A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, 2004, vol. 3097, pp. 321–325, doi: 10.1007/978-3-540-25984-8_22.
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, vol. 3097, Springer, 2004, pp. 321–325, doi:10.1007/978-3-540-25984-8_22.
Google Scholar