DBLP Record 'conf/iis/LyaletskiVDP02'

BibTeX

@inproceedings{DBLP:conf/iis/LyaletskiVDP02,
  author    = {Alexander V. Lyaletski and
               Konstantin Verchinine and
               Anatoli Degtyarev and
               Andrey Paskevich},
  title     = {System for Automated Deduction (SAD): Linguistic and Deductive
               Peculiarities},
  booktitle = {Intelligent Information Systems},
  year      = {2002},
  pages     = {413-422},
  crossref  = {DBLP:conf/iis/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iis/2002,
  editor    = {Mieczyslaw A. Klopotek and
               Slawomir T. Wierzchon and
               Maciej Michalewicz},
  title     = {Intelligent Information Systems 2002, Proceedings of the
               IIS'2002 Symposium, Sopot, Poland, June 3-6, 2002},
  booktitle = {Intelligent Information Systems},
  publisher = {Physica-Verlag},
  series    = {Advances in Soft Computing},
  year      = {2002},
  isbn      = {3-7908-1509-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}