Tipp
Weitere Artikel dieser Ausgabe durch Wischen aufrufen
01.01.2003 | Ausgabe 1/2003
Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing
- Zeitschrift:
-
Journal of Automated Reasoning
>
Ausgabe 1/2003
- Autor:
- Cesare Tinelli
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
-
Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing
- Autor:
-
Cesare Tinelli
- Publikationsdatum
- 01.01.2003
- DOI
-
https://doi.org/10.1023/A:1022587501759
- Verlag
-
Kluwer Academic Publishers