PREINING, Norbert （プライニング　ノルベルト）　准教授
ソフトウェア検証研究センター

78件中41-60件目

• 41.　A guide to quantified propositional Goedel logics，Norbert Preining，Order, Algebra, Logic，Vanderbilt University, Nashville, USA，June 2007
• 42.　TeX Live's new infrastructure，Norbert Preining，GuIT (Italian TeX User Group) Meeting 2007，Pisa, Italy，October 2007
• 43.　Goedel logics, Kripke frames, and beyond，Norbert Preining，3. International Workshop on Analytic Proof Systems, LPAR 2007，Erevan, Armenia，October 2007
• 44.　Fragments of Goedel Logics，Norbert Preining，Two and beyond - Barcelona-Vienna Workshop on Truth-Functional logics，Barcelona, Spain，November 2007
• 45.　Goedel logics and Cantor-Bendixon analysis，Norbert Preining，Ordered Structures in Many-Valued Logics，Massa Lubrense, Italy，May 2006
• 46.　Linear Kripke frames and Goedel Logics，Norbert Preining，AsubL 3 - Algebra and Substructural Logics - take 3，Krakow, Poland，November 2006
• 47.　Quantifier elimination for quantified propositional Goedel logics，Norbert Preining，2. International Workshop on Analytic Proof Systems, LPAR 2006，Phnom Penh, Cambodia，November 2006
• 48.　Many-valued logics and Goedel logics - a short introduction(in Italian)，Norbert Preining，Lecture Series: Aspetti Costruttivi della Logica, Department of Philosophy and Social Sciences, University of Siena，Siena, Italy，January 2007
• 49.　Fragments of Goedel logics，Norbert Preining，Research Seminar, JAIST，JAIST, Japan，March 2006
• 50.　Some open questions about different semantics for Goedel logics，Norbert Preining，JAIST Research Seminar，JAIST, Japan，March 2006
• 51.　Mathematical methods in first-order Goedel logics，Norbert Preining，Methods'05: Algebraic and Topological Methods in Non-Classical Logics II，Barcelona, Spain，June 2005
• 52.　Fragments of First Order Goedel Logics，Norbert Preining，Logics of Soft Computing 2005，Ostrava, Czech Republic，October 2005
• 53.　Counting finished: the number of Goedel Logics，Norbert Preining，Second Florence-Vienna Workshop on Logic and Computation，Florence, Italy，November 2005
• 54.　Many-valued logics - a short introduction and case study，Norbert Preining，Logic and Probability Seminar, University of Milano，Milano, Italy，November 2005
• 55.　Many-valued logics - a short introduction and case study，Norbert Preining，Research Seminar, Computer Science Department, University of Wales Swansea，Swansea, Wales, UK，December 2005
• 56.　Order theory and Goedel logics，Norbert Preining，Kusatsu Logic Seminar，Kusatsu Onsen, Japan，March 2006
• 57.　Herbrand disjunctions and informal reasoning in projective geometry，Norbert Preining，Workshop on Analytic Proof Systems, LPAR 2004，Montevideo, Uruguay，March 2005
• 58.　Mehrwertige Logiken，Norbert Preining，Seminar: Wissenswertes in der MathematikVienna University of Technology，Vienna, Austria，December 2004
• 59.　Goedel Logics and Kripke Frames，Norbert Preining，AILA (Italian Association of Logicians) Meeting 2005，Pisa, Italy，January 2005
• 60.　Continuous Fraisse Conjecture，Norbert Preining，JAIST Logic Seminar，JAIST, Japan，February 2005

[ ≪ 前へ ]

1  2  3  4

[ 次へ ≫ ]