Relative complexities of first order calculi

to related objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

ISBN: 9783528051228
3528051221

Dimensions: 23 cm

Extent: 173 S.

Language: Englisch

Notes: Literaturverz. S. 162 - 167

Keyword: Prädikatenlogik
Stufe 1
Kalkül
Komplexität

Event: Veröffentlichung

(where): Braunschweig, Wiesbaden

(who): Vieweg

(when): 1992

Creator: Eder, Elmar

Table of contents: https://d-nb.info/920359493/04

Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Last update: 11.06.2025, 2:09 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Eder, Elmar
Vieweg

Time of origin

1992

Other Objects (12)

Relative complexities of first order calculi

$Sequent Calculi for First-order $$\textrmST}$$ ST$

Sequent Calculi for First-order $$\textrmST}$$ ST

First-order calculi and proof procedures for automated deduction

Ordered chaining calculi for first order theories of binary relations

Aufsatzsammlung

Border complexities and logics of dis/order

Projection Based Methods for Conic Linear Programming — Optimal First Order Complexities and Norm Constrained Quasi Newton Methods

The Relative Index Theorem for General First-Order Elliptic Operators

Abschnitt

Calculi.

Abschnitt

Calculi.

Does boundary distinguish complexities?

Value Pluralism: Crucial Complexities

Focus: Complexities of ‘Europe’

Relative complexities of first order calculi

$Sequent Calculi for First-order $$\textrmST}$$ ST$

Sequent Calculi for First-order $$\textrmST}$$ ST

First-order calculi and proof procedures for automated deduction

Ordered chaining calculi for first order theories of binary relations

Aufsatzsammlung

Border complexities and logics of dis/order

Projection Based Methods for Conic Linear Programming — Optimal First Order Complexities and Norm Constrained Quasi Newton Methods

The Relative Index Theorem for General First-Order Elliptic Operators

Abschnitt

Calculi.

Abschnitt

Calculi.

Does boundary distinguish complexities?

Value Pluralism: Crucial Complexities

Focus: Complexities of ‘Europe’

Relative complexities of first order calculi

$Sequent Calculi for First-order $$\textrmST}$$ ST$

Sequent Calculi for First-order $$\textrmST}$$ ST

First-order calculi and proof procedures for automated deduction

Ordered chaining calculi for first order theories of binary relations

Aufsatzsammlung

Border complexities and logics of dis/order

Projection Based Methods for Conic Linear Programming — Optimal First Order Complexities and Norm Constrained Quasi Newton Methods

The Relative Index Theorem for General First-Order Elliptic Operators

Abschnitt

Calculi.

Abschnitt

Calculi.

Does boundary distinguish complexities?

Value Pluralism: Crucial Complexities

Focus: Complexities of ‘Europe’

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read and agree to the privacy policy for the collection of personal data.*

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Relative complexities of first order calculi

Show object

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

Other Objects (12)

Relative complexities of first order calculi

Sequent Calculi for First-order $$\textrmST}$$ ST

First-order calculi and proof procedures for automated deduction

Ordered chaining calculi for first order theories of binary relations

Border complexities and logics of dis/order

Projection Based Methods for Conic Linear Programming — Optimal First Order Complexities and Norm Constrained Quasi Newton Methods

The Relative Index Theorem for General First-Order Elliptic Operators

Calculi.

Calculi.

Does boundary distinguish complexities?

Value Pluralism: Crucial Complexities

Focus: Complexities of ‘Europe’

Relative complexities of first order calculi

Sequent Calculi for First-order $$\textrmST}$$ ST

First-order calculi and proof procedures for automated deduction

Ordered chaining calculi for first order theories of binary relations

Border complexities and logics of dis/order

Projection Based Methods for Conic Linear Programming — Optimal First Order Complexities and Norm Constrained Quasi Newton Methods

The Relative Index Theorem for General First-Order Elliptic Operators

Calculi.

Calculi.

Does boundary distinguish complexities?

Value Pluralism: Crucial Complexities

Focus: Complexities of ‘Europe’

Relative complexities of first order calculi

Sequent Calculi for First-order $$\textrmST}$$ ST

First-order calculi and proof procedures for automated deduction

Ordered chaining calculi for first order theories of binary relations

Border complexities and logics of dis/order

Projection Based Methods for Conic Linear Programming — Optimal First Order Complexities and Norm Constrained Quasi Newton Methods

The Relative Index Theorem for General First-Order Elliptic Operators

Calculi.

Calculi.

Does boundary distinguish complexities?

Value Pluralism: Crucial Complexities

Focus: Complexities of ‘Europe’

Related objects

Reset password