%0 Conference Paper %1 ac:BB2000 %A Busch, Jens %A Banzhaf, Wolfgang %B Proceedings, Fourth International Conference on MultiAgent Systems %C Boston, MA, USA %D 2000 %I IEEE Computer Society %K artificialintelligence theoremproving artificialchemistry agentbasedsystem %P 371--372 %T Multi-Agent Systems inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving

@inproceedings{ac:BB2000, added-at = {2006-07-26T16:59:08.000+0200}, address = {Boston, MA, USA}, author = {Busch, Jens and Banzhaf, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/23901c2c47ab3e942117f7ee0f63a62f2/pietrosperoni}, booktitle = {Proceedings, Fourth International Conference on MultiAgent Systems}, citeulike-article-id = {437893}, interhash = {b4b6d9e20dc5ed2f0a8b2b247f79dbb4}, intrahash = {3901c2c47ab3e942117f7ee0f63a62f2}, keywords = {artificialintelligence theoremproving artificialchemistry agentbasedsystem}, month = {July}, pages = {371--372}, priority = {0}, publisher = {IEEE Computer Society}, timestamp = {2009-01-07T08:09:00.000+0100}, title = {{Multi-Agent Systems inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving}}, year = 2000 }