- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540542773
3540542779
9780387542775
0387542779
- Maße
-
25 cm
- Umfang
-
IX, 351 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 335 - 340
- Erschienen in
-
EATCS monographs on theoretical computer sciences / European Association for Theoretical Computer Science ; Vol. 24
- Schlagwort
-
Programmierung
Prädikatenlogik
Stufe 1
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (wer)
-
Springer
- (wann)
-
1991
- 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, 13:58 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gergely, Tamás
- Úry, László
- Springer
Entstanden
- 1991
Ähnliche Objekte (12)
Tableau systems for first order number theory and certain higher order theories
Multi-objective programming and goal programming : theories and applications
First-order logic
First-order logic
Unifying theories of programming : third international symposium ; proceedings
First order solutions in conic programming
First-order dynamic logic
Genetic programming : first European workshop ; proceedings
Unifying theories of programming : second international symposium ; revised selected papers
Efficient reasoning procedures for complex first-order theories
Natural geometric quantization of first-order field theories
Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes
Tableau systems for first order number theory and certain higher order theories
Multi-objective programming and goal programming : theories and applications
First-order logic
First-order logic
Unifying theories of programming : third international symposium ; proceedings
First order solutions in conic programming
First-order dynamic logic
Genetic programming : first European workshop ; proceedings
Unifying theories of programming : second international symposium ; revised selected papers
Efficient reasoning procedures for complex first-order theories
Natural geometric quantization of first-order field theories
Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes
Tableau systems for first order number theory and certain higher order theories
Multi-objective programming and goal programming : theories and applications
First-order logic
First-order logic
Unifying theories of programming : third international symposium ; proceedings
First order solutions in conic programming
First-order dynamic logic
Genetic programming : first European workshop ; proceedings
Unifying theories of programming : second international symposium ; revised selected papers
Efficient reasoning procedures for complex first-order theories
Natural geometric quantization of first-order field theories