年 〜
年

検索結果 40 件

Intermittent convex integration for the 3D Euler equations : pbk

Intermittent convex integration for the 3D Euler equations : pbk
紙図書
Tristan Buckmaster ... [et al.]Princeton University Press2023
全国の図書館
  • 件名...ical solutions Induction (Mathematics) Convex functions Fluid dynami...
  • 件名（識別子）...ical solutions Induction (Mathematics) Convex functions Fluid dynami...

Intermittent convex integration for the 3D Euler equations : hbk

Intermittent convex integration for the 3D Euler equations : hbk
紙図書
Tristan Buckmaster ... [et al.]Princeton University Press2023
全国の図書館
  • 件名...ical solutions Induction (Mathematics) Convex functions Fluid dynami...
  • 件名（識別子）...ical solutions Induction (Mathematics) Convex functions Fluid dynami...

Theorems of the 21st century v. 1

Theorems of the 21st century v. 1
紙図書
Bogdan GrechukSpringerc2019
全国の図書館
  • 件名Mathematics Logic, Symbolic and mathematical Induction (Mathematics)
  • 件名（識別子）Mathematics Logic, Symbolic and mathematical Induction (Mathematics)

The induction book : [pbk.]

The induction book : [pbk.]
紙図書
Steven H. WeintraubDover Publicationsc2017
全国の図書館
  • 件名Induction (Mathematics)
  • 件名（識別子）Induction (Mathematics)

The method of mathematical induction . Induction in geometry : [pbk.]

The method of mathematical induction . Induction in geometry : [pbk.]
紙図書
I.S. Sominskii . L.I. Golovina and I.M. YaglomDover Publications2019
全国の図書館
  • 件名Induction (Mathematics) Geometry -- Problems, exercis...
  • 件名（識別子）Induction (Mathematics) Geometry -- Problems, exercis...

Basic discrete mathematics : logic, set theory, & probability : hardcover

Basic discrete mathematics : logic, set theory, & probability : hardcover
紙図書
Richard KoharWorld Scientificc2016
全国の図書館
  • 件名Logic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities
  • 件名（識別子）Logic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities

Introduction to bisimulation and coinduction : hardback

Introduction to bisimulation and coinduction : hardback
紙図書
Davide SangiorgiCambridge University Press2012
全国の図書館
  • 件名Induction (Mathematics) Simulation methods
  • 件名（識別子）Induction (Mathematics) Simulation methods

Handbook of mathematical induction : theory and applications : hbk

Handbook of mathematical induction : theory and applications : hbk
紙図書
David S. GundersonCRC Pressc2011
全国の図書館
  • 件名Induction (Mathematics)
  • 件名（識別子）Induction (Mathematics)

Elementary induction on abstract structures

Elementary induction on abstract structures
紙図書
Yiannis N. MoschovakisDover Publications2008
全国の図書館
  • 件名Recursive functions Induction (Mathematics)
  • 件名（識別子）Recursive functions Induction (Mathematics)

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude / Roberto Festa. (Synthese library ; v. 232)

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude / Roberto Festa. (Synthese library ; v. 232)
紙図書
Kluwer Academic Publishersc1993.<MA216-A68>
国立国会図書館
  • 件名...Probabilities. Induction (Mathematics) Truth.

Statistical and inductive inference by minimum message length

Statistical and inductive inference by minimum message length
紙図書
C.S. WallaceSpringer2005
全国の図書館
  • 件名...-- Methodology Induction (Mathematics)
  • 件名（識別子）...-- Methodology Induction (Mathematics)

Whitehead groups of finite groups / Robert Oliver. (London Mathematical Society lecture note series)

Whitehead groups of finite groups / Robert Oliver. (London Mathematical Society lecture note series)
紙図書
Cambridge University Press1988.<MA67-A49>
国立国会図書館
  • 件名有限群. Whitehead groups. Finite groups. Induction (Mathematics)

Computable economics : the Arne Ryde memorial lectures

Computable economics : the Arne Ryde memorial lectures
紙図書
Kumaraswamy VelupillaiOxford University Press2000
全国の図書館
  • 件名Economics, Mathematical Induction (Mathematics) Recursive theory
  • 件名（識別子）Economics, Mathematical Induction (Mathematics) Recursive theory

Non-additive exact functors and tensor induction for Mackey functors

Non-additive exact functors and tensor induction for Mackey functors
紙図書
Serge BoucAmerican Mathematical Society2000
全国の図書館
  • 件名Functor theory Induction (Mathematics) Homology theory
  • 件名（識別子）Functor theory Induction (Mathematics) Homology theory

Structural induction on partial algebras / by Horst Reichel. (Introduction to theory and application of partial algebras ; pt. 2) (Mathematical research ; 18 = Mathematische Forschung ; Bd. 18)

Structural induction on partial algebras / by Horst Reichel. (Introduction to theory and application of partial algebras ; pt. 2) (Mathematical research ; 18 = Mathematische Forschung ; Bd. 18)
紙図書
Akademie-Verlag1984.<MA61-A5>
国立国会図書館
  • 件名代数学. 帰納法. Partial algebras. Induction (Mathematics)

Automated mathematical induction

Automated mathematical induction
紙図書
edited by H. ZhangKluwer Academicc1996
全国の図書館
  • 件名Automatic theorem proving Induction (Mathematics)
  • 件名（識別子）Automatic theorem proving Induction (Mathematics)

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude
紙図書
Roberto FestaKluwer Academic Publishersc1993
全国の図書館
  • 件名Bayesian statistical decision theory Probabilities Induction (Mathematics) Truth
  • 件名（識別子）Bayesian statistical decision theory Probabilities Induction (Mathematics) Truth

The emergence of probability : a philosophical study of early ideas about probability, induction and statistical inference : hbk : pbk 2nd ed

The emergence of probability : a philosophical study of early ideas about probability, induction and statistical inference : hbk : pbk 2nd ed
紙図書
Ian HackingCambridge University Press2006
全国の図書館
  • 件名Probabilities -- History Induction (Mathematics) -- History Mathematical stati...
  • 件名（識別子）Probabilities -- History Induction (Mathematics) -- History Mathematical stati...

Elementary induction on abstract structures / [by] Yiannis N. Moschovakis. (Studies in logic and the foundations of mathematics ; v. 77)

Elementary induction on abstract structures / [by] Yiannis N. Moschovakis. (Studies in logic and the foundations of mathematics ; v. 77)
紙図書
North-Holland Pub. Co.1974.<MA41-73>
国立国会図書館
  • 件名Recursive functions. Induction (Mathematics)

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]. (Lecture notes in mathematics ; 897)

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]. (Lecture notes in mathematics ; 897)
紙図書
Springer-Verlag1981.<MA41-183>
国立国会図書館
  • 件名...- Foundations. Induction (Mathematics) Proof theory.