Relative complexities of first order calculi

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783528051228
3528051221
Maße
23 cm
Umfang
173 S.
Sprache
Englisch
Anmerkungen
Literaturverz. S. 162 - 167

Schlagwort
Prädikatenlogik
Stufe 1
Kalkül
Komplexität

Ereignis
Veröffentlichung
(wo)
Braunschweig, Wiesbaden
(wer)
Vieweg
(wann)
1992
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:09 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1992

Ähnliche Objekte (12)

Relative complexities of first order calculi

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

First-order calculi and proof procedures for automated deduction

Ordered chaining calculi for first order theories of binary relations

Ordered chaining calculi for first order theories of binary relations

Border complexities and logics of dis/order

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

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

Calculi.

Abschnitt

Calculi.

Calculi.

Abschnitt

Calculi.

The Relative Index Theorem for General First-Order Elliptic Operators

The Relative Index Theorem for General First-Order Elliptic Operators

Calculi humani

Abschnitt

Calculi humani

Does boundary distinguish complexities?

Does boundary distinguish complexities?

Value Pluralism: Crucial Complexities

Value Pluralism: Crucial Complexities

Verbundene Objekte