nach oben

Journal of Automated Reasoning

Erschienen in:

01.12.1998

Integrating Computer Algebra into Proof Planning

verfasst von: Manfred Kerber, Michael Kohlhase, Volker Sorge

Erschienen in: Journal of Automated Reasoning | Ausgabe 3/1998

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Vorheriger Artikel Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation

Nächster Artikel A New Approach for Automatic Theorem Proving in Real Geometry

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Titel: Integrating Computer Algebra into Proof Planning
verfasst von: Manfred Kerber
Michael Kohlhase
Volker Sorge
Publikationsdatum: 01.12.1998
Verlag: Kluwer Academic Publishers
Erschienen in: Journal of Automated Reasoning / Ausgabe 3/1998
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1023/A:1006059810729

Springer Professional

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 3/1998

Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation

Well-Behaved Inference Rules for First-Order Theorem Proving

Preface

A Skeptic's Approach to Combining HOL and Maple

A New Approach for Automatic Theorem Proving in Real Geometry