Search dblp for Publications

export results for "toc:db/conf/calculemus/calculemus1999.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/ArmandoCG99,
  author       = {Alessandro Armando and
                  Alessandro Coglio and
                  Fausto Giunchiglia},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {The control component of open mechanized reasoning systems},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {322--339},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80606-1},
  doi          = {10.1016/S1571-0661(05)80606-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArmandoCG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ArmandoJ99,
  author       = {Alessandro Armando and
                  Tudor Jebelean},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Preface},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {319--320},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80604-8},
  doi          = {10.1016/S1571-0661(05)80604-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArmandoJ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Beeson99,
  author       = {Michael Beeson},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Automatic derivation of the irrationality of e},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {420--439},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80613-9},
  doi          = {10.1016/S1571-0661(05)80613-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Beeson99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BenzmullerJKS99,
  author       = {Christoph Benzm{\"{u}}ller and
                  Mateja Jamnik and
                  Manfred Kerber and
                  Volker Sorge},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Agent based mathematical reasoning},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {340--351},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)82522-8},
  doi          = {10.1016/S1571-0661(05)82522-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BenzmullerJKS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BoulmeHHMR99,
  author       = {Sylvain Boulm{\'{e}} and
                  Th{\'{e}}r{\`{e}}se Hardin and
                  Daniel Hirschkoff and
                  Val{\'{e}}rie M{\'{e}}nissier{-}Morain and
                  Renaud Rioboo},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {On the way to certify Computer Algebra Systems},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {370--385},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80609-7},
  doi          = {10.1016/S1571-0661(05)80609-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BoulmeHHMR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Buchberger99,
  author       = {Bruno Buchberger},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Theory exploration versus theorem proving},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {386},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80610-3},
  doi          = {10.1016/S1571-0661(05)80610-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Buchberger99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CaprottiC99,
  author       = {Olga Caprotti and
                  Arjeh M. Cohen},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Integrating computational and deduction systems using OpenMath},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {469--480},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80616-4},
  doi          = {10.1016/S1571-0661(05)80616-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaprottiC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FrankeK99,
  author       = {Andreas Franke and
                  Michael Kohlhase},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {MBase: Representing mathematical knowledge in a relational data base},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {451--468},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80615-2},
  doi          = {10.1016/S1571-0661(05)80615-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FrankeK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Giunchiglia99,
  author       = {Fausto Giunchiglia},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {The {OMRS} project: State of the art},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {321},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80605-X},
  doi          = {10.1016/S1571-0661(05)80605-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Giunchiglia99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LetichevskyKVCKG99,
  author       = {Alexander A. Letichevsky and
                  Julia V. Kapitonova and
                  Vladislav A. Volkov and
                  A. Chugayenko and
                  Victor Khomenko and
                  David R. Gilbert},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {The development of interactive algorithms for the Mathematical Environment},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {352--369},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80608-5},
  doi          = {10.1016/S1571-0661(05)80608-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LetichevskyKVCKG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LyaletskiM99,
  author       = {Alexander V. Lyaletski and
                  Marina Morokovets},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {On linguistic aspects of integration of computer mathematical knowledge},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {481--498},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80617-6},
  doi          = {10.1016/S1571-0661(05)80617-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LyaletskiM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MelisS99,
  author       = {Erica Melis and
                  Volker Sorge},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Employing external reasoners in proof planning},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {440--450},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80614-0},
  doi          = {10.1016/S1571-0661(05)80614-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MelisS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NakagawaK99,
  author       = {Koji Nakagawa and
                  Felix Kossak},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {User--system interaction within Theorema},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {387--400},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80611-5},
  doi          = {10.1016/S1571-0661(05)80611-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NakagawaK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Windsteiger99,
  author       = {Wolfgang Windsteiger},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Building up hierarchical mathematical domains using functors in Theorema},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {401--419},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80612-7},
  doi          = {10.1016/S1571-0661(05)80612-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Windsteiger99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/calculemus/1999,
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/23/issue/3},
  timestamp    = {Thu, 16 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calculemus/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.