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

78件中21-40件目

• 21.　Typesetting with Kanji, Tutorial in LaTeX，Norbert Preining，Seminar of the Department of Philosophy，Sun Yat-sen University, Guangzhou, China，2011-12-05
• 22.　Axiomatizability for some first-order logics of linear Kripke frames over constant domains，Norbert Preining，MLG 2011，越後湯沢，2011-10-23
• 23.　TeX Live 2011 and some possible extensions，Norbert Preining，Japanese TeX User Group Meeting 2011，東京大学，2011-10-22
• 24.　Axiomatizability for some first-order logics of linear Kripke frames over constant domains，Norbert Preining，IIA-CSIC Seminar，Bellaterra, Catalonia, Spain，2012-03-27
• 25.　TeX Live 2008-2010，Norbert Preining，Seminar at the IIIA, Autonome University of Barcelona，Bellaterra, Catalonia, Spain，April 2010
• 26.　The semantic hierarchies of First order Goedel logics, Algebra versus Kripke frames，Norbert Preining，UniLog 2010, Universal Logic，Lisbon, Portugal，April 2010
• 27.　SAT in monadic Goedel Logics，Norbert Preining，WoLLIC 2009，Tokyo, Japan，June 2009
• 28.　Quantified propositional Goedel Logics，Norbert Preining，MLG 2009，Fukuoka, Japan，December 2009
• 29.　Introduction to many-valued logics and Goedel logics，Norbert Preining，JAIST-VNU Cooperation Seminar，JAIST, Japan，February 2010
• 30.　SAT for Goedel logics，Norbert Preining，PR 2010 - Proofs and Rewriting，Obergurgl, Austria，March 2010
• 31.　Overview of Goedel logics，Norbert Preining，ITC-IRST Seminar，Trento, Italy，November 2003
• 32.　TeX Live 2008，Norbert Preining，CSTUG (Czech and Slovak TeX User Group Meeting) 2008，Brno, Czech Republic，December 2008
• 33.　Herbrand disjunctions for the disentangled fragment of Goedel logics，Norbert Preining，Workshop on Structural Proof Theory，University Paris VII, Paris, France，November 2008
• 34.　TeX Live 2008 and the TeX Live Manager，Norbert Preining，GuIT (Italian TeX User Group) Meeting 2008，Pisa, Italy，October 2008
• 35.　Continuous Fraisse Conjecture，Norbert Preining，Logic Seminar, Dipartment for Philosophy and Social Sciences, University of Siena，Siena, Italy，May 2008
• 36.　Quantified propositional Goedel logics，Norbert Preining，Logical Models of Reasoning and Computation, LMR08，Steklov Institute, Moskow, Russia，May 2008
• 37.　TeX Live's new infrastructure，Norbert Preining，BachoTeX 2008，Bachotek, Poland，April 2008
• 38.　The new TeX Live installer，Norbert Preining，BachoTeX 2008，Bachotek, Poland，April 2008
• 39.　TeX (Live) on Debian，Norbert Preining，EuroBachoTeX 2007，Bachotek, Poland，April 2007
• 40.　Completeness of a Hypersequent Calculus for some First-order Goedel logics with Delta，Norbert Preining，Moscow-Vienna Workshop on Logic and Computation 2007，Vienna, Austria，July 2007

[ ≪ 前へ ]

1  2  3  4

[ 次へ ≫ ]