BibTeX record conf/aaai/Leszczylowski80

download as .bib file

@inproceedings{DBLP:conf/aaai/Leszczylowski80,
  author    = {Jacek Leszczylowski},
  editor    = {Robert Balzer},
  title     = {On Proving Laws of the Algebra of FP-Systems in Edinburgh {LCF}},
  booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
               Stanford University, CA, USA, August 18-21, 1980},
  pages     = {84--86},
  publisher = {{AAAI} Press/MIT Press},
  year      = {1980},
  url       = {http://www.aaai.org/Library/AAAI/1980/aaai80-024.php},
  timestamp = {Mon, 18 Jun 2018 21:18:20 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/Leszczylowski80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics