@inproceedings{DBLP:conf/maamaw/FisherW97,
  author    = {Michael Fisher and
               Michael Wooldridge},
  title     = {Distributed Problem-Solving as Concurrent Theorem Proving},
  booktitle = {Multi-Agent Rationality, 8th European Workshop on Modelling Autonomous
               Agents in a Multi-Agent World, Ronneby, Sweden, May 13-16, 1997, Proceedings},
  pages     = {128--140},
  year      = {1997},
  crossref  = {DBLP:conf/maamaw/1997},
  url       = {https://doi.org/10.1007/3-540-63077-5\_30},
  doi       = {10.1007/3-540-63077-5\_30},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/maamaw/FisherW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Sj7TrPX2keR2KQtEn","bibbaseid":"fisher-wooldridge-distributedproblemsolvingasconcurrenttheoremproving-1997","downloads":0,"creationDate":"2016-05-26T11:21:08.239Z","title":"Distributed Problem-Solving as Concurrent Theorem Proving","author_short":["Fisher, M.","Wooldridge, M."],"year":1997,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Wooldridge"],"suffixes":[]}],"title":"Distributed Problem-Solving as Concurrent Theorem Proving","booktitle":"Multi-Agent Rationality, 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Ronneby, Sweden, May 13-16, 1997, Proceedings","pages":"128–140","year":"1997","crossref":"DBLP:conf/maamaw/1997","url":"https://doi.org/10.1007/3-540-63077-5_30","doi":"10.1007/3-540-63077-5_30","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/maamaw/FisherW97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/maamaw/FisherW97,\n author = {Michael Fisher and\n Michael Wooldridge},\n title = {Distributed Problem-Solving as Concurrent Theorem Proving},\n booktitle = {Multi-Agent Rationality, 8th European Workshop on Modelling Autonomous\n Agents in a Multi-Agent World, Ronneby, Sweden, May 13-16, 1997, Proceedings},\n pages = {128--140},\n year = {1997},\n crossref = {DBLP:conf/maamaw/1997},\n url = {https://doi.org/10.1007/3-540-63077-5\\_30},\n doi = {10.1007/3-540-63077-5\\_30},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/maamaw/FisherW97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fisher, M.","Wooldridge, M."],"key":"DBLP:conf/maamaw/FisherW97","id":"DBLP:conf/maamaw/FisherW97","bibbaseid":"fisher-wooldridge-distributedproblemsolvingasconcurrenttheoremproving-1997","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-63077-5_30"},"downloads":0,"html":""},"search_terms":["distributed","problem","solving","concurrent","theorem","proving","fisher","wooldridge"],"keywords":["dblp"],"authorIDs":["54795f1c8a7c93e0600008be"],"dataSources":["dNrJbhueP34xdF85Y"]}