%0 Conference Paper %1 conf/ic3k/AkamaN13a %A Akama, Kiyoshi %A Nantajeewarawat, Ekawit %B IC3K %D 2013 %E Fred, Ana L. N. %E Dietz, Jan L. G. %E Liu, Kecheng %E Filipe, Joaquim %I Springer %K dblp %P 215-229 %T Integration of and a Solution for Proof Problems and Query-Answering Problems. %U http://dblp.uni-trier.de/db/conf/ic3k/ic3k2013.html#AkamaN13a %V 454 %@ 978-3-662-46548-6

@inproceedings{conf/ic3k/AkamaN13a, added-at = {2021-02-15T00:00:00.000+0100}, author = {Akama, Kiyoshi and Nantajeewarawat, Ekawit}, biburl = {https://www.bibsonomy.org/bibtex/2dff44f4ad9148d087c5abafd5f37d664/dblp}, booktitle = {IC3K}, crossref = {conf/ic3k/2013}, editor = {Fred, Ana L. N. and Dietz, Jan L. G. and Liu, Kecheng and Filipe, Joaquim}, ee = {https://doi.org/10.1007/978-3-662-46549-3_14}, interhash = {1a36c3f290ca801692c8c08782dd858f}, intrahash = {dff44f4ad9148d087c5abafd5f37d664}, isbn = {978-3-662-46548-6}, keywords = {dblp}, pages = {215-229}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-09T23:25:47.000+0200}, title = {Integration of and a Solution for Proof Problems and Query-Answering Problems.}, url = {http://dblp.uni-trier.de/db/conf/ic3k/ic3k2013.html#AkamaN13a}, volume = 454, year = 2013 }