{"_id":"BZxKz6BeiwmzQz2o7","bibbaseid":"vanharmelen-lopezdemantaras-malec-treur-comparingformalspecificationlanguagesforcomplexreasoningsystems-1993","downloads":0,"creationDate":"2017-10-10T08:05:28.996Z","title":"Comparing Formal Specification Languages for Complex Reasoning Systems","author_short":["van Harmelen , F.","Lopez de Mantaras, R.","Malec, J.","Treur, J."],"year":1993,"bibtype":"inbook","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","bibdata":{"bibtype":"inbook","type":"inbook","title":"Comparing Formal Specification Languages for Complex Reasoning Systems","author":[{"propositions":["van Harmelen"],"lastnames":[],"firstnames":["Frank"],"suffixes":[]},{"propositions":[],"lastnames":["Lopez de Mantaras"],"firstnames":["Ramon"],"suffixes":[]},{"firstnames":["Jacek"],"propositions":[],"lastnames":["Malec"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Treur"],"suffixes":[]}],"year":"1993","pages":"257–282","editor":[{"firstnames":["J."],"propositions":[],"lastnames":["Treur"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Wetter"],"suffixes":[]}],"booktitle":"Formal Specification of Complex Reasoning Systems","publisher":"Ellis Horwood","bibtex":"@inbook{068f3f9559274570aa6d39bc11083297,\n title = \"Comparing Formal Specification Languages for Complex Reasoning Systems\",\n author = \"{van Harmelen}, Frank and {Lopez de Mantaras}, Ramon and Jacek Malec and Jan Treur\",\n year = \"1993\",\n pages = \"257--282\",\n editor = \"J. Treur and T. Wetter\",\n booktitle = \"Formal Specification of Complex Reasoning Systems\",\n publisher = \"Ellis Horwood\",\n}\n\n%% Added 13-08-2019 by Erman %%\n\n","author_short":["van Harmelen , F.","Lopez de Mantaras, R.","Malec, J.","Treur, J."],"editor_short":["Treur, J.","Wetter, T."],"key":"068f3f9559274570aa6d39bc11083297","id":"068f3f9559274570aa6d39bc11083297","bibbaseid":"vanharmelen-lopezdemantaras-malec-treur-comparingformalspecificationlanguagesforcomplexreasoningsystems-1993","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["comparing","formal","specification","languages","complex","reasoning","systems","van harmelen ","lopez de mantaras","malec","treur"],"keywords":[],"authorIDs":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}