BibTeX record conf/iccs/KerdilesS97

download as .bib file

@inproceedings{DBLP:conf/iccs/KerdilesS97,
  author       = {Gwen Kerdiles and
                  Eric Salvat},
  editor       = {Dickson Lukose and
                  Harry S. Delugach and
                  Mary Keeler and
                  Leroy Searle and
                  John F. Sowa},
  title        = {A Sound and Complete {CG} Proof Procedure Combining Projections with
                  Analytic Tableaux},
  booktitle    = {Conceptual Structures: Fulfilling Peirce's Dream, Fifth International
                  Conference on Conceptual Structures, {ICCS} '97, Seattle, Washington,
                  USA, August 3-8, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1257},
  pages        = {371--385},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027884},
  doi          = {10.1007/BFB0027884},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/KerdilesS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics