Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

Journal of Automated Reasoning

Ausgabe 1/1997

Inhalt (7 Artikel)

A Tribute to Woody Bledsoe

Larry Hines

A New Probabilistic Induction Method

Rong-Huei Hou, Tzung-Pei Hong, Shian-Shyong Tseng, Sy-Yen Kuo

A Correct Logic Programming Computation of Default Logic Extensions

Grigoris Antoniou, Elmar Langetepe

Fast Subsumption Checks Using Anti-Links

Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray

Partial Functions in a Total Setting

Simon Finn, Michael P. Fourman, John Longley

Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving

Li Dafa

An Erratum for Some Errata to ATP Problems

FRANCIS JEFFRY PELLETIER, GEOFF SUTCLIFFE

Apr 97
Ausgabe: 2/1997

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr