Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Perhaps the Intermediate Value Theorem

Veldman, W.H.M.

Publication date

January 2005

Abstract

Contains fulltext : 32838.pdf (publisher's version ) (Open Access

Extracted data

Related items

The Tricks of the (No-)Trade (Theorem)

Sent, E.-M.

January 2006

Contains fulltext : 46997.pdf (publisher's version ) (Closed access)17 p

Zwart, H.A.E.

January 2007

Contains fulltext : 34597.pdf (preprint version ) (Open Access

MizAR 40 for Mizar 40

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 147280.pdf (preprint version ) (Open Access

What is intermediate care?

Melis, R.J.F.
Parker, S.G.
Olde Rikkert, M.G.M.
Eijken, M.I.J. van

January 2004

Contains fulltext : 59048.pdf (publisher's version ) (Open Access

On Moessner's Theorem

Kozen, D.C.
Silva, A.

January 2013

Contains fulltext : 111198.pdf (preprint version ) (Open Access

Integrals and Valuations

Coquand, Thierry
Spitters, Bas

January 2009

Contains fulltext : 76076.pdf (preprint version ) (Open Access

Intuitionistic Logic and Computability Theory

Terwijn, S.A.

January 2010

Contains fulltext : 83387.pdf (publisher's version ) (Closed access

Linguistic intuitions and beyond

Levelt, W.J.M.

January 1996

Contains fulltext : 5809.pdf (publisher's version ) (Open Access

Case in Optimality Theory

Hoop, H. de

January 2008

Contains fulltext : 287916.pdf (publisher's version ) (Closed access

A Pluralist Approach to Intermediate Macroeconomics

Staveren, I.P. van

January 2009

Contains fulltext : 82599.pdf (publisher's version ) (Closed access

Optimality Theoretic Semantics

Hoop, H. de
Hendriks, P.

January 2001

Contains fulltext : M_161813.pdf (publisher's version ) (Closed access)32 p

Minimale interventies met maximale resultaten

Burgersdijk, Rob

January 2005

Contains fulltext : 27010.pdf (publisher's version ) (Open Access)19 p

Formalizing Arrow's theorem

Wiedijk, F.

January 2009

Contains fulltext : 75428.pdf (preprint version ) (Open Access) ...

Kadyshevsky Field Theory

Rijken, T.A.
Wagenaar, J.W.

January 2010

Contains fulltext : 83339.pdf (publisher's version ) (Closed access

The Aliquot constant

Bosma, W.
Kane, B.

January 2012

Contains fulltext : 83975.pdf (preprint version ) (Open Access

The Tricks of the (No-)Trade (Theorem)

Sent, E.-M.

January 2006

Contains fulltext : 46997.pdf (publisher's version ) (Closed access)17 p

Zwart, H.A.E.

January 2007

Contains fulltext : 34597.pdf (preprint version ) (Open Access

MizAR 40 for Mizar 40

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 147280.pdf (preprint version ) (Open Access

What is intermediate care?

Melis, R.J.F.
Parker, S.G.
Olde Rikkert, M.G.M.
Eijken, M.I.J. van

January 2004

Contains fulltext : 59048.pdf (publisher's version ) (Open Access

On Moessner's Theorem

Kozen, D.C.
Silva, A.

January 2013

Contains fulltext : 111198.pdf (preprint version ) (Open Access

Integrals and Valuations

Coquand, Thierry
Spitters, Bas

January 2009

Contains fulltext : 76076.pdf (preprint version ) (Open Access

Intuitionistic Logic and Computability Theory

Terwijn, S.A.

January 2010

Contains fulltext : 83387.pdf (publisher's version ) (Closed access

Linguistic intuitions and beyond

Levelt, W.J.M.

January 1996

Contains fulltext : 5809.pdf (publisher's version ) (Open Access

Case in Optimality Theory

Hoop, H. de

January 2008

Contains fulltext : 287916.pdf (publisher's version ) (Closed access

A Pluralist Approach to Intermediate Macroeconomics

Staveren, I.P. van

January 2009

Contains fulltext : 82599.pdf (publisher's version ) (Closed access

Optimality Theoretic Semantics

Hoop, H. de
Hendriks, P.

January 2001

Contains fulltext : M_161813.pdf (publisher's version ) (Closed access)32 p

Minimale interventies met maximale resultaten

Burgersdijk, Rob

January 2005

Contains fulltext : 27010.pdf (publisher's version ) (Open Access)19 p

Formalizing Arrow's theorem

Wiedijk, F.

January 2009

Contains fulltext : 75428.pdf (preprint version ) (Open Access) ...

Kadyshevsky Field Theory

Rijken, T.A.
Wagenaar, J.W.

January 2010

Contains fulltext : 83339.pdf (publisher's version ) (Closed access

The Aliquot constant

Bosma, W.
Kane, B.

January 2012

Contains fulltext : 83975.pdf (preprint version ) (Open Access

The Tricks of the (No-)Trade (Theorem)

Sent, E.-M.

January 2006

Contains fulltext : 46997.pdf (publisher's version ) (Closed access)17 p

Zwart, H.A.E.

January 2007

Contains fulltext : 34597.pdf (preprint version ) (Open Access

MizAR 40 for Mizar 40

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 147280.pdf (preprint version ) (Open Access