Cargando…

Seventeen provers of the world: foreword by Dana S. Scott

Detalles Bibliográficos
Autores principales:	Hutchison, David, Kanade, Takeo, Kittler, Josef
Lenguaje:	eng
Publicado:	Springer 2006
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2692589

Ejemplares similares

OMDoc: an open markup format for mathematical documents : version 1.2
por: Hutchison, David, et al.
Publicado: (2006)

Least squares orthogonal distance fitting of curves and surfaces in space
por: Hutchison, David, et al.
Publicado: (2003)

Coevolutionary fuzzy modeling
por: Hutchison, David, et al.
Publicado: (1993)

Transactions on rough sets IV: journal subline
por: Hutchison, David, et al.
Publicado: (2005)

Multivariate algorithmic revolution and beyond: essays dedicated to Michael R. Fellows on the occasion of his 60th birthday
por: Hutchison, David, et al.
Publicado: (2012)

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
por: Hutchison, David, et al.
Publicado: (2005)

Transactions on rough sets II: rough sets and fuzzy sets
por: Hutchison, David, et al.
Publicado: (2005)

Studies in complexity and cryptography: miscellanea on the interplay between randomness and computation
por: Goldreich, Oded, et al.
Publicado: (2011)

Uncertain projective geometry: statistical reasoning for polyhedral object reconstruction
por: Kanade, Takeo, et al.
Publicado: (2004)

Seventeen papers on analysis
por: Aizerman, M A, et al.
Publicado: (1963)

Seventeen papers on analysis
por: Arnol'd, V I, et al.
Publicado: (1963)

Surprises in probability: seventeen short stories
por: Tijms, Henk
Publicado: (2018)

Seventeen papers on topology and differential geometry
por: Ancikov, A M, et al.
Publicado: (1970)

Seventeen papers on functions of complex variables
por: Dzrbasjan, M M, et al.
Publicado: (1963)

The Andrews festschrift: seventeen papers on classical number theory and combinatorics
por: Foata, Dominique, et al.
Publicado: (2001)

Stability index analysis of 1-D patterns of the Gray-Scott model
por: Doelman, Arjen, et al.
Publicado: (2002)

The Move Prover
por: Zhong, Jingyi Emma, et al.
Publicado: (2020)

NATO Advanced Study Institute on Pattern Recognition Theory and Applications
por: Kittler, Josef, et al.
Publicado: (1982)

An LMA-based theorem prover
por: Lusk, E L, et al.
Publicado: (1982)

Dynamics of the Bell Prover, II
por: Ruegg, Fillmer W., et al.
Publicado: (1990)

Kali Cyanate: Provers Needed
por: Tyrrell, J. D.
Publicado: (1888)

Prolog Technology Reinforcement Learning Prover: (System Description)
por: Zombori, Zsolt, et al.
Publicado: (2020)

Algebraic Modeling Systems: Modeling and Solving Real World Optimization Problems
por: Kallrath, Josef
Publicado: (2012)

Norge prøver seg i CERN
por: Dybing, A
Publicado: (1985)

The Higher-Order Prover Leo-II
por: Benzmüller, Christoph, et al.
Publicado: (2015)

A Woman’s International Provers’ Association
por: Penfield, Sophia
Publicado: (1894)

Uhelds-magneten i CERN prøver igen
Publicado: (2009)

Implementing Superposition in iProver (System Description)
por: Duarte, André, et al.
Publicado: (2020)

The Medical History of Sir Walter Scott
por: Hutchison, Robert
Publicado: (1932)

The advent of the algorithm: the idea that rules the world
por: Berlinski, David
Publicado: (2000)

Stochastic world
por: Stepanov, Sergey S
Publicado: (2013)

Sir Walter Scott and his world
por: Daiches, David, 1912-2005

The Determinate World: Kant and Helmholtz on the Physical Meaning of Geometry
por: Hyder, David
Publicado: (2009)

Wittgenstein, mathematics and world
por: Clark, Bob
Publicado: (2017)

The world's worst problems
por: Dodds, Walter
Publicado: (2019)

Adventures in the world of matrices
por: Gerdes, Paulus
Publicado: (2008)

It's a Nonlinear World
por: Enns, Richard H
Publicado: (2011)

Mathematics in the real world
por: Wallis, W D
Publicado: (2013)

For all practical purposes: mathematical literacy in today's world
por: Garfunkel, Solomon, et al.
Publicado: (2006)

World Women in Mathematics 2018 : Proceedings of the First World Meeting for Women in Mathematics (WM)²
por: Araujo, Carolina, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_kcq18v4bhi0ev0hqs8am4clfcn