本文に飛ぶ

年 〜
年

検索結果 6 件

Algebra, logic and number theory : proceedings of the 5th joint conferences on Algebra, Logic and Number Theory, June 24-29, 2018, Będlewo

Algebra, logic and number theory : proceedings of the 5th joint conferences on Algebra, Logic and Number Theory, June 24-29, 2018, Będlewo
紙図書
editors of the volume, Paweł Gładki ... [et al.]Institute of Mathematics, Polish Academy of Sciences2020
全国の図書館
  • 件名Algebra Congresses Logic, Symbolic and mathematical Congresses Number theory Congresses
  • 件名（識別子）Algebra Congresses Logic, Symbolic and mathematical Congresses Number theory Congresses

Algebra, logic and number theory : proceedings of the 3rd joint conferences on Algebra, Logic and Number Theory, June 8-13, 2014, Będlewo

Algebra, logic and number theory : proceedings of the 3rd joint conferences on Algebra, Logic and Number Theory, June 8-13, 2014, Będlewo
紙図書
editors of the volume, Paweł Gładki, ... [et al.]Institute of Mathematics, Polish Academy of Sciences2016
全国の図書館
  • 件名Algebra Congresses Logic, Symbolic and mathematical Congresses Number theory Congresses
  • 件名（識別子）Algebra Congresses Logic, Symbolic and mathematical Congresses Number theory Congresses

Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990 pbk. : acid-free paper [reprinted 2001]

Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990 pbk. : acid-free paper [reprinted 2001]
紙図書
edited by Juha Oikkonen and Jouko VäänänenAK Petersc2001
全国の図書館
  • 件名Logic, Symbolic and mathematical Congresses
  • 件名（識別子）Logic, Symbolic and mathematical Congresses

Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
紙図書
edited by Andrea Cantini, Ettore Casari, Pierluigi MinariKluwer Academicc1999
全国の図書館
  • 件名Logic, Symbolic and mathematical Congresses
  • 件名（識別子）Logic, Symbolic and mathematical Congresses

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
紙図書
Harald Ganzinger (ed.)Springerc1999
全国の図書館
  • 件名Automatic theorem proving Congresses Logic, Symbolic and mathematical Congresses
  • 件名（識別子）Automatic theorem proving Congresses Logic, Symbolic and mathematical Congresses

Language, quantum, music : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

Language, quantum, music : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
紙図書
edited by Maria Luisa Dalla Chiara, Roberto Giuntini, Federico LaudisaKluwer Academic1999
全国の図書館
  • 件名...ogy Congresses Logic, Symbolic and mathematical Congresses
  • 件名（識別子）...ogy Congresses Logic, Symbolic and mathematical Congresses

検索結果は以上です。

RSS