Dafa90'

BibTeX

@inproceedings{DBLP:conf/iccal/Dafa90,
  author    = {Li Dafa},
  title     = {Intelligent CAI Course in the First-Order Logic},
  booktitle = {ICCAL},
  year      = {1990},
  pages     = {67-72},
  ee        = {http://dx.doi.org/10.1007/BFb0020872},
  crossref  = {DBLP:conf/iccal/1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccal/1990,
  editor    = {Douglas H. Norrie and
               Hans-Werner Six},
  title     = {Computer Assisted Learning, 3rd International Conference,
               ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings},
  booktitle = {ICCAL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {438},
  year      = {1990},
  isbn      = {3-540-52699-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}