@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}
}

{"_id":"CczQESbNoJPQG2pkJ","bibbaseid":"armando-jebelean-prefacespecialissueoncalculemus99systemsforintegratedcomputationanddeduction-1999","downloads":0,"creationDate":"2016-08-26T10:17:27.290Z","title":"Preface: Special Issue on CALCULEMUS 99, Systems for Integrated Computation and Deduction","author_short":["Armando, A.","Jebelean, T."],"year":1999,"bibtype":"article","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"article","type":"article","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":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Armando"],"suffixes":[]},{"firstnames":["Tudor"],"propositions":[],"lastnames":["Jebelean"],"suffixes":[]}],"bibtex":"@article{Armando1999319,\n title = {Preface: Special Issue on CALCULEMUS 99, Systems for Integrated Computation and Deduction},\n journal = {Electronic Notes in Theoretical Computer Science },\n volume = {23},\n number = {3},\n pages = {319 - 320},\n year = {1999},\n note = {<ce:title>CALCULEMUS 99, Systems for Integrated Computation and Deduction (associated to FLoC'99, the 1999 Federated Logic Conference)</ce:title> },\n issn = {1571-0661},\n doi = {http://dx.doi.org/10.1016/S1571-0661(05)80604-8},\n url = {http://www.sciencedirect.com/science/article/pii/S1571066105806048},\n author = {Alessandro Armando and Tudor Jebelean}\n}\n\n","author_short":["Armando, A.","Jebelean, T."],"key":"Armando1999319","id":"Armando1999319","bibbaseid":"armando-jebelean-prefacespecialissueoncalculemus99systemsforintegratedcomputationanddeduction-1999","role":"author","urls":{"Paper":"http://www.sciencedirect.com/science/article/pii/S1571066105806048"},"downloads":0},"search_terms":["preface","special","issue","calculemus","systems","integrated","computation","deduction","armando","jebelean"],"keywords":[],"authorIDs":[],"dataSources":["sjwHXeqZidkB6GRgD"]}