BibTeX records: Dominique Pastre

download as .bib file

@article{DBLP:journals/aicom/Pastre02,
  author       = {Dominique Pastre},
  title        = {Strong and weak points of the {MUSCADET} theorem prover - examples
                  from {CASC-JC}},
  journal      = {{AI} Commun.},
  volume       = {15},
  number       = {2-3},
  pages        = {147--160},
  year         = {2002},
  url          = {http://content.iospress.com/articles/ai-communications/aic263},
  timestamp    = {Fri, 15 May 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Pastre02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ria/Pastre02,
  author       = {Dominique Pastre},
  title        = {Utilisation de dessins en r{\'{e}}solution de probl{\`{e}}mes},
  journal      = {Rev. d'Intelligence Artif.},
  volume       = {16},
  number       = {1-2},
  pages        = {123--165},
  year         = {2002},
  url          = {https://doi.org/10.3166/ria.16.123-165},
  doi          = {10.3166/RIA.16.123-165},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ria/Pastre02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ria/Pastre01,
  author       = {Dominique Pastre},
  title        = {Comp{\'{e}}titions de d{\'{e}}monstrateurs de th{\'{e}}or{\`{e}}mes},
  journal      = {Rev. d'Intelligence Artif.},
  volume       = {15},
  number       = {2},
  pages        = {279--286},
  year         = {2001},
  url          = {http://ria.revuesonline.com/article.jsp?articleId=742},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ria/Pastre01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Pastre01,
  author       = {Dominique Pastre},
  editor       = {Rajeev Gor{\'{e}} and
                  Alexander Leitsch and
                  Tobias Nipkow},
  title        = {{MUSCADET} 2.3: {A} Knowledge-Based Theorem Prover Based on Natural
                  Deduction},
  booktitle    = {Automated Reasoning, First International Joint Conference, {IJCAR}
                  2001, Siena, Italy, June 18-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2083},
  pages        = {685--689},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45744-5\_56},
  doi          = {10.1007/3-540-45744-5\_56},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Pastre01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/ChretienVLLP94,
  author       = {Didier Chr{\'{e}}tien and
                  Yann Vi{\'{e}}mont and
                  Thierry Larue and
                  R. Legoff and
                  Dominique Pastre},
  editor       = {Hal Berghel and
                  Terry Hlengl and
                  Joseph E. Urban},
  title        = {The G{\'{e}}oSabrina design: the way to build a {GIS} above a
                  spatial data server},
  booktitle    = {Proceedings of the 1994 {ACM} Symposium on Applied Computing, SAC'94,
                  Phoenix, AZ, USA, March 6-8, 1994},
  pages        = {328--332},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/326619.326768},
  doi          = {10.1145/326619.326768},
  timestamp    = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/ChretienVLLP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Pastre93,
  author       = {Dominique Pastre},
  title        = {Automated Theorem Proving in Mathematics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {425--447},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530801},
  doi          = {10.1007/BF01530801},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Pastre93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssd/LaruePV93,
  author       = {Thierry Larue and
                  Dominique Pastre and
                  Yann Vi{\'{e}}mont},
  editor       = {David J. Abel and
                  Beng Chin Ooi},
  title        = {Strong Integration of Spatial Domains and Operators in a relational
                  Database System},
  booktitle    = {Advances in Spatial Databases, Third International Symposium, SSD'93,
                  Singapore, June 23-25, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {692},
  pages        = {53--72},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56869-7\_4},
  doi          = {10.1007/3-540-56869-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ssd/LaruePV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Pastre89,
  author       = {Dominique Pastre},
  title        = {{MUSCADET:} An Automatic Theorem Proving System Using Knowledge and
                  Metaknowledge in Mathematics},
  journal      = {Artif. Intell.},
  volume       = {38},
  number       = {3},
  pages        = {257--318},
  year         = {1989},
  url          = {https://doi.org/10.1016/0004-3702(89)90035-0},
  doi          = {10.1016/0004-3702(89)90035-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Pastre89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vldb/GardarinCKPS89,
  author       = {Georges Gardarin and
                  Jean{-}Pierre Cheiney and
                  Gerald Kiernan and
                  Dominique Pastre and
                  Herv{\'{e}} Stora},
  editor       = {Peter M. G. Apers and
                  Gio Wiederhold},
  title        = {Managing Complex Objects in an Extensible Relational {DBMS}},
  booktitle    = {Proceedings of the Fifteenth International Conference on Very Large
                  Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
  pages        = {55--65},
  publisher    = {Morgan Kaufmann},
  year         = {1989},
  url          = {http://www.vldb.org/conf/1989/P055.PDF},
  timestamp    = {Wed, 29 Mar 2017 16:45:23 +0200},
  biburl       = {https://dblp.org/rec/conf/vldb/GardarinCKPS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/Pastre82,
  author       = {Dominique Pastre},
  title        = {A Language for Expressing Mathematical Knowledge in Automatic Theorem
                  Proving},
  booktitle    = {5th European Conference on Artificial Intelligence, {ECAI} 1982, Paris,
                  1982, Proceedings},
  pages        = {116--118},
  year         = {1982},
  timestamp    = {Tue, 06 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Pastre82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/Pastre80,
  author       = {Dominique Pastre},
  editor       = {Reinhard Wilhelm},
  title        = {Knowledge-Based Theorem Proving},
  booktitle    = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
                  Oktober 1980, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {33},
  pages        = {429},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/978-3-642-67838-7\_40},
  doi          = {10.1007/978-3-642-67838-7\_40},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Pastre80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Pastre78,
  author       = {Dominique Pastre},
  title        = {Automatic Theorem Proving in Set Theory},
  journal      = {Artif. Intell.},
  volume       = {10},
  number       = {1},
  pages        = {1--27},
  year         = {1978},
  url          = {https://doi.org/10.1016/0004-3702(78)90028-0},
  doi          = {10.1016/0004-3702(78)90028-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Pastre78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/Pastre78,
  author       = {Dominique Pastre},
  editor       = {Derek H. Sleeman},
  title        = {A Humanlike Approach for Automatic Theorem Proving},
  booktitle    = {Proceedings of {AISB/GI} Conference (Proceedings of the 4th European
                  Conference on Artificial Intelligence), Hamburg, Germany, 18-20 July
                  1978},
  pages        = {248--252},
  publisher    = {Leeds University},
  year         = {1978},
  timestamp    = {Fri, 26 Jul 2019 09:34:22 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Pastre78.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.