Edinburgh LCF. Gordon, M. J., Milner, A. J., & Wadsworth, C. P. Springer-Verlag, 1979. bibtex @book{Gordon+al:1979,
author = "Gordon, M. J. and Milner, A. J. and Wadsworth, C. P.",
title = "Edinburgh {LCF}",
year = 1979,
publisher = springer,
_address = springer-ad
}
Downloads: 0
{"_id":"b6TeBpkzWWyRQ2NRs","bibbaseid":"gordon-milner-wadsworth-edinburghlcf-1979","downloads":0,"creationDate":"2017-03-31T20:09:33.018Z","title":"Edinburgh LCF","author_short":["Gordon, M. J.","Milner, A. J.","Wadsworth, C. P."],"year":1979,"bibtype":"book","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Gordon"],"firstnames":["M.","J."],"suffixes":[]},{"propositions":[],"lastnames":["Milner"],"firstnames":["A.","J."],"suffixes":[]},{"propositions":[],"lastnames":["Wadsworth"],"firstnames":["C.","P."],"suffixes":[]}],"title":"Edinburgh LCF","year":"1979","publisher":"Springer-Verlag","_address":"Berlin","bibtex":"@book{Gordon+al:1979,\n\tauthor = \"Gordon, M. J. and Milner, A. J. and Wadsworth, C. P.\",\n\ttitle = \"Edinburgh {LCF}\",\n\tyear = 1979,\n\tpublisher = springer,\n\t_address = springer-ad\n}\n\n","author_short":["Gordon, M. J.","Milner, A. J.","Wadsworth, C. P."],"key":"Gordon+al:1979","id":"Gordon+al:1979","bibbaseid":"gordon-milner-wadsworth-edinburghlcf-1979","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["edinburgh","lcf","gordon","milner","wadsworth"],"keywords":[],"authorIDs":[],"dataSources":["WpbD7vSrpsYg8ShK9","cx4WvnDhXJhiLqdQo"]}