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

78件中1-20件目

• 1.　TeX Live (2012): history, installation, usage, support for Japanese TeX users，Norbert Preining，数学ソフトウェアとフリードキュメント/15，九州大学，2012-09-17
• 2.　Gödel Logics, Continuous Embeddability and Fraisse's Conjecture，Norbert Preining，学習理論における組合せ論，九州大学，2012-09-19
• 3.　Satisfiability in monadic Gödel logics，Norbert Preining，JAIST Logic Seminar，JAIST，2012-05-10
• 4.　Monadic Gödel logics with one predicate symbol，Norbert Preining，JAIST Logic Seminar，JAIST，2012-06-14
• 5.　Continuous Fraissé Conjecture - Part 2，Norbert Preining，JAIST Logic Seminar，JAIST，2011-06-09
• 6.　Orevkov's speed up result in projective geometry，Norbert Preining，JAIST Logic Seminar，JAIST，2010-11-24
• 7.　Continuous Fraissé Conjecture - Part 4，Norbert Preining，JAIST Logic Seminar，JAIST，2011-07-28
• 8.　TeX Live 2008-2010，Norbert Preining，TeXユーザの集い 2010，Tokyo，2010-10-23
• 9.　TeX Live 2008-2010，Norbert Preining，Tsinghua University，Beijing, China，2010-10-26
• 10.　Kripke frames - Part 2，Norbert Preining，Seventh International Tbilisi Summer School in Logic and Language，Tbilisi, Georgia，2011-09-23
• 11.　Kripke frames - Part 1，Norbert Preining，Seventh International Tbilisi Summer School in Logic and Language，Tbilisi, Georgia，2011-09-22
• 12.　The semantic hierarchies of Gödel logics: Algebra verus Kripke frames，Norbert Preining，ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics，RIMS, Kyoto, Japan，2011-05-18
• 13.　Satisfiability in Monadic Gödel Logics，Norbert Preining，Workshop on Logic and Computation，Kanazawa, Japan，2011-02-08
• 14.　Gödel logics，Norbert Preining，清华逻辑活动版 Tsinghua Logic Events，Tsinghua University, Beijing, China，2010-10-29
• 15.　Introduction to Proof Theory，Norbert Preining，清华逻辑活动版 Tsinghua Logic Events，Tsinghua University, Beijing, China，2010-10-25
• 16.　Continuous Fraissé Conjecture - Part 3，Norbert Preining，JAIST Logic Seminar，JAIST，2011-07-14
• 17.　Continuous Fraissé Conjecture - Part 1，Norbert Preining，JAIST Logic Seminar，JAIST，2011-05-26
• 18.　Axiomatizability of some first-order logics of linear Kripke frames over constant domains，Norbert Preining，NCMPL Non-classical Modal and Predicate Logics 2011，Sun Yat-sen University, Guangzhou, China，2011-12-06
• 19.　Quantified Propositional Gödel Logics of countable linearly ordered Kripke frames (with constant domains)，Norbert Preining，Lambda Calculus Seminar，草津温泉，2012-03-21
• 20.　Avalance tactics and management in Europe，Norbert Preining，第7回アバランチ・ミーティング、日本雪崩ネットワーク，越後湯沢，2012-05-19

1  2  3  4

[ 次へ ≫ ]