%0 Conference Paper %1 conf/vveis/SteynP07 %A Steyn, Paul S. %A van der Poll, John A. %B MSVVEIS %D 2007 %E Augusto, Juan Carlos %E Barjis, Joseph %E Ultes-Nitsche, Ulrich %I INSTICC PRESS %K dblp %P 43-52 %T Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. %U http://dblp.uni-trier.de/db/conf/vveis/msvveis2007.html#SteynP07 %@ 978-972-8865-95-5

@inproceedings{conf/vveis/SteynP07, added-at = {2008-01-24T00:00:00.000+0100}, author = {Steyn, Paul S. and van der Poll, John A.}, biburl = {https://www.bibsonomy.org/bibtex/2f2a853a5c35373623bff318c5ca1ca9f/dblp}, booktitle = {MSVVEIS}, crossref = {conf/vveis/2007}, date = {2008-01-24}, description = {dblp}, editor = {Augusto, Juan Carlos and Barjis, Joseph and Ultes-Nitsche, Ulrich}, interhash = {152fc1107caaa759674d5f16611afb26}, intrahash = {f2a853a5c35373623bff318c5ca1ca9f}, isbn = {978-972-8865-95-5}, keywords = {dblp}, pages = {43-52}, publisher = {INSTICC PRESS}, timestamp = {2008-01-26T10:38:12.000+0100}, title = {Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.}, url = {http://dblp.uni-trier.de/db/conf/vveis/msvveis2007.html#SteynP07}, year = 2007 }