- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
42 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 40 - 42
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
MPI Informatik, Bibliothek & Dokumentation
- (wann)
-
1995
- 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:32 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
- Bachmair, Leo
- Ganzinger, Harald
- MPI Informatik, Bibliothek & Dokumentation
Entstanden
- 1995
Ähnliche Objekte (12)
Relative complexities of first order calculi
Relative complexities of first order calculi
Sequent Calculi for First-order $$\textrmST}$$ ST
First order programming theories
First-order calculi and proof procedures for automated deduction
Calculi.
Calculi.
Binary systems in massive scalar-tensor theories: next-to-leading order gravitational waveform from effective field theory
Ordered and continuous models of higher-order specifications
Binary discrimination through next-to-leading order
Calculi humani
Improving the power of ordered binary decision diagrams by integrating parity nodes
Relative complexities of first order calculi
Relative complexities of first order calculi
Sequent Calculi for First-order $$\textrmST}$$ ST
First order programming theories
First-order calculi and proof procedures for automated deduction
Calculi.
Calculi.
Binary systems in massive scalar-tensor theories: next-to-leading order gravitational waveform from effective field theory
Ordered and continuous models of higher-order specifications
Binary discrimination through next-to-leading order
Calculi humani
Improving the power of ordered binary decision diagrams by integrating parity nodes
Relative complexities of first order calculi
Relative complexities of first order calculi
Sequent Calculi for First-order $$\textrmST}$$ ST
First order programming theories
First-order calculi and proof procedures for automated deduction
Calculi.
Calculi.
Binary systems in massive scalar-tensor theories: next-to-leading order gravitational waveform from effective field theory
Ordered and continuous models of higher-order specifications
Binary discrimination through next-to-leading order
Calculi humani