%0 Conference Paper %1 conf/icmas/BuschB00 %A Busch, Jens %A Banzhaf, Wolfgang %B ICMAS %D 2000 %I IEEE Computer Society %K %P 371-372 %T Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving. %U http://dblp.uni-trier.de/db/conf/icmas/icmas2000.html#BuschB00 %@ 0-7695-0625-9

@inproceedings{conf/icmas/BuschB00, added-at = {2023-12-13T07:03:20.000+0100}, author = {Busch, Jens and Banzhaf, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/21e23d71292e0d378c6be172c757c0a65/admin}, booktitle = {ICMAS}, crossref = {conf/icmas/2000}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858480}, interhash = {b4b6d9e20dc5ed2f0a8b2b247f79dbb4}, intrahash = {1e23d71292e0d378c6be172c757c0a65}, isbn = {0-7695-0625-9}, keywords = {}, pages = {371-372}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:03:20.000+0100}, title = {Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/icmas/icmas2000.html#BuschB00}, year = 2000 }