- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
ISSN: 1572-8102
- Classification
-
Allgemeines, Wissenschaft
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2023
- Creator
- DOI
-
10.1007/s10703-017-0295-6
- URN
-
urn:nbn:de:bsz:25-freidok-2394034
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
30.10.2031, 11:20 AM 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
- Niemetz, Aina
- Preiner, Mathias
- Biere, Armin
- Universität
Time of origin
- 2023
Other Objects (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