- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
ISSN: 1572-8102
- Klassifikation
-
Allgemeines, Wissenschaft
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2023
- Urheber
- DOI
-
10.1007/s10703-017-0295-6
- URN
-
urn:nbn:de:bsz:25-freidok-2394034
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
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
- Niemetz, Aina
- Preiner, Mathias
- Biere, Armin
- Universität
Entstanden
- 2023
Ähnliche Objekte (12)
Business in trade : BIT P & C ; precise & compact
Search for a Monetary Propagation Mechanism
The search for counterexamples in human reasoning
Précise
Towards precise and convenient semantic search on text and knowledge bases
Bit by Bit
Precise jet measurements and search for supersymmetric particles with the CMS experiment
Case-based reasoning and improved adaptive search for project scheduling
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
bit
International propagation of financial shocks in a search and matching environment
International Propagation of Financial Shocks in a Search and Matching Environment
Business in trade : BIT P & C ; precise & compact
Search for a Monetary Propagation Mechanism
The search for counterexamples in human reasoning
Précise
Towards precise and convenient semantic search on text and knowledge bases
Bit by Bit
Precise jet measurements and search for supersymmetric particles with the CMS experiment
Case-based reasoning and improved adaptive search for project scheduling
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
bit
International propagation of financial shocks in a search and matching environment
International Propagation of Financial Shocks in a Search and Matching Environment
Business in trade : BIT P & C ; precise & compact
Search for a Monetary Propagation Mechanism
The search for counterexamples in human reasoning
Précise
Towards precise and convenient semantic search on text and knowledge bases
Bit by Bit
Precise jet measurements and search for supersymmetric particles with the CMS experiment
Case-based reasoning and improved adaptive search for project scheduling
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
bit
International propagation of financial shocks in a search and matching environment