- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540095019
3540095012
9780387095011
0387095012
- Dimensions
-
25 cm
- Extent
-
V, 243 S.
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 234 - 238.
- Bibliographic citation
-
Lecture notes in mathematics ; 718
- Keyword
-
Komplexität
Prädikatenlogik
Mathematische Logik
Komplexität (Mathematik)
Prädikatenkalkül
Berechenbarkeit
Average-case-Komplexität
Prädikatenlogik
Mathematische Logik
Prädikatenkalkül
Berechenbarkeit
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
1979
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ferrante, Jeanne
- Rackoff, Charles
- Springer
Time of origin
- 1979
Other Objects (12)
Kolmogorov complexity and computational complexity
Formalizing medieval logical theories : suppositio, consequentiae and obligationes
Logical approaches to computational barriers : proceedings
Randomness and completeness in computational complexity
Conceptual structures : logical, linguistic, and computational issues ; proceedings
Logical aspects of computational linguistics : 4th international conference ; proceedings
Logic and computational complexity : selected papers
The computational complexity of equivalence and isomorphism problems
Logical aspects of computational linguistics : third international conference ; selected papers
Logical aspects of computational linguistics : first international conference ; selected papers
Logical aspects of computational linguistics : second international conference ; selected papers
Logical aspects of computational linguistics : 7th international conference ; proceedings
Kolmogorov complexity and computational complexity
Formalizing medieval logical theories : suppositio, consequentiae and obligationes
Logical approaches to computational barriers : proceedings
Randomness and completeness in computational complexity
Conceptual structures : logical, linguistic, and computational issues ; proceedings
Logical aspects of computational linguistics : 4th international conference ; proceedings
Logic and computational complexity : selected papers
The computational complexity of equivalence and isomorphism problems
Logical aspects of computational linguistics : third international conference ; selected papers
Logical aspects of computational linguistics : first international conference ; selected papers
Logical aspects of computational linguistics : second international conference ; selected papers
Logical aspects of computational linguistics : 7th international conference ; proceedings
Kolmogorov complexity and computational complexity
Formalizing medieval logical theories : suppositio, consequentiae and obligationes
Logical approaches to computational barriers : proceedings
Randomness and completeness in computational complexity
Conceptual structures : logical, linguistic, and computational issues ; proceedings
Logical aspects of computational linguistics : 4th international conference ; proceedings
Logic and computational complexity : selected papers
The computational complexity of equivalence and isomorphism problems
Logical aspects of computational linguistics : third international conference ; selected papers
Logical aspects of computational linguistics : first international conference ; selected papers
Logical aspects of computational linguistics : second international conference ; selected papers