京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Mathematical Theory)
該当件数:264件
Elements of finite model theory
: Springer , 2004
電子ブック
Finite Versus Infinite Contributions to an Eternal Dilemma
: Springer London , 2000
Formal Aspects of Measurement Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
: Springer London , 1992
Formal Specification Techniques and Applications
: Springer London , 1999
Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
: Springer , 2000
Functional Programming, Glasgow 1994 Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
: Springer London , 1995
IV Higher Order Workshop, Banff 1990 Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990
: Springer London , 1991
Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
: Springer , 1995
Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
: Springer-Verlag , 2004
Mathematical logic for computer science
: Springer , 2001
parametric lambda calculus : a meta-model for computation
Predicate calculus and program semantics
: Springer-Verlag , 1990
Software Specification Methods An Overview Using a Case Study
: Springer London , 2001
Stochastic algorithms : foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings
Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
: Springer , 2003
Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
Algorithms : proceedings
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
: Springer-Verlag , 1975
On the shape of mathematical arguments
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
: Springer , 1999