Preface: Special Issue on CALCULEMUS 99, Systems for Integrated Computation and Deduction. Armando, A. and Jebelean, T. Electronic Notes in Theoretical Computer Science , 23(3):319 - 320, 1999. CALCULEMUS 99, Systems for Integrated Computation and Deduction (associated to FLoC'99, the 1999 Federated Logic Conference)
Preface: Special Issue on CALCULEMUS 99, Systems for Integrated Computation and Deduction [link]Paper  doi  bibtex   
@article{Armando1999319,
  title = {Preface: Special Issue on CALCULEMUS 99, Systems for Integrated Computation and Deduction},
  journal = {Electronic Notes in Theoretical Computer Science },
  volume = {23},
  number = {3},
  pages = {319 - 320},
  year = {1999},
  note = {<ce:title>CALCULEMUS 99, Systems for Integrated Computation and Deduction (associated to FLoC'99, the 1999 Federated Logic Conference)</ce:title> },
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/S1571-0661(05)80604-8},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066105806048},
  author = {Alessandro Armando and Tudor Jebelean}
}
Downloads: 0