Tipp
Weitere Artikel dieser Ausgabe durch Wischen aufrufen
01.10.2004 | Ausgabe 3-4/2004
Model-Theoretic Methods in Combined Constraint Satisfiability
- Zeitschrift:
-
Journal of Automated Reasoning
>
Ausgabe 3-4/2004
- Autor:
- Silvio Ghilardi
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
Springer Professional "Wirtschaft+Technik"
Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:
- über 69.000 Bücher
- über 500 Zeitschriften
aus folgenden Fachgebieten:
- Automobil + Motoren
- Bauwesen + Immobilien
- Business IT + Informatik
- Elektrotechnik + Elektronik
- Energie + Umwelt
- Finance + Banking
- Management + Führung
- Marketing + Vertrieb
- Maschinenbau + Werkstoffe
- Versicherung + Risiko
Testen Sie jetzt 30 Tage kostenlos.
Springer Professional "Wirtschaft"
Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:
- über 58.000 Bücher
- über 300 Zeitschriften
aus folgenden Fachgebieten:
- Bauwesen + Immobilien
- Business IT + Informatik
- Finance + Banking
- Management + Führung
- Marketing + Vertrieb
- Versicherung + Risiko
Testen Sie jetzt 30 Tage kostenlos.
Springer Professional "Technik"
Mit Springer Professional "Technik" erhalten Sie Zugriff auf:
- über 50.000 Bücher
- über 380 Zeitschriften
aus folgenden Fachgebieten:
- Automobil + Motoren
- Bauwesen + Immobilien
- Business IT + Informatik
- Elektrotechnik + Elektronik
- Energie + Umwelt
- Maschinenbau + Werkstoffe
Testen Sie jetzt 30 Tage kostenlos.
- Titel
-
Model-Theoretic Methods in Combined Constraint Satisfiability
- Autor:
-
Silvio Ghilardi
- Publikationsdatum
- 01.10.2004
- DOI
-
https://doi.org/10.1007/s10817-004-6241-5
- Verlag
-
Kluwer Academic Publishers
