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

78件中61-78件目

• 61.　Characterization of axiomatizability in Goedel logics，Norbert Preining，Kusatsu Logic Seminar，Kusatsu Onsen, Japan，March 2005
• 62.　What logicians do with sketches in projective geometry, and some Goedel logics，Norbert Preining，Logic Seminar, TU Darmstadt，Darmstadt, Germany，July 2004
• 63.　Countable orderings and continuous embeddability，Norbert Preining，Third Moskow-Vienna Logic Meeting，Steklov Institute, Moskow, Russia，May 2004
• 64.　Semantics for Goedel Logics，Norbert Preining，ESF Workshop: Challenge of Semantics，Vienna, Austria，July 2004
• 65.　Characterization of Goedel logics with countable truth value sets，Norbert Preining，Logic of Soft Computing 2003，Siena, Italy，November 2003
• 66.　An overview on countable Goedel logics，Norbert Preining，First Florence-Vienna Workshop on Logic and Computation，Florence, Italy，January 2004
• 67.　Proof theory and proof systems for projective and affine geometry，Norbert Preining，TABLEAUX 2002，Kopenhagen, Danmark，August 2002
• 68.　Characterization of decidability of Goedel logics，Norbert Preining，Second Moscow-Vienna Logic Meeting，Steklov Institute, Moskow, Russia，April 2002
• 69.　Goedel logics and Cantor-Bendixon analysis，Norbert Preining，LPAR 2002，Tbilisi, Georgia，October 2002
• 70.　Complete axiomatizations of Goedel logics，Norbert Preining，Logic of Soft Computing 2002，Anacapri, Italy，October 2002
• 71.　Sketches in affine geometry，Norbert Preining，Calculemus 2001, IJCAR 2001，Siena, Italy，June 2001
• 72.　A guide to quantified propositional Goedel logic，Norbert Preining，IJCAR Workshop QBF 2001，Siena, Italy，June 2001
• 73.　What to do with Herbrand disjunctions in geometry，Norbert Preining，Logic of Soft Computing 2001，Gargnano, Italy，November 2001
• 74.　Using Tibetan language wiht TeX/Omega，Norbert Preining，4th International Symposium on Multilingual Information Processing，Tsukuba, Japan，March 2000
• 75.　Herbrand disjunctions and sketches，Norbert Preining，First Moskow-Vienna Logic Meeting，Steklov Institute, Moskow, Russia，December 2000
• 76.　An application of cut elimination in projective geometry，Norbert Preining，Talk at the Research Center for Symbolic Computation，Hagenberg, Austria，March 1999
• 77.　How fast are sketches as proofs，Norbert Preining，Logic Colloquium 1998，Vienna, Austria，August 1998
• 78.　Sketch-as-proof，Norbert Preining，Kurt Goedel Colloquium 1997，Vienna, Austria，August 1997

[ ≪ 前へ ]

1  2  3  4