Journal of Automated Reasoning 4/2014 | springerprofessional.de

Springer Professional

nach oben

Journal of Automated Reasoning

Inhalt (3 Artikel)

A Complete Superposition Calculus for Primal Grammars

Hicham Bensaid, Nicolas Peltier

Reasoning with Nominal Schemas through Absorption

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

On the Formalization of Gamma Function in HOL

Umair Siddique, Osman Hasan

Ausgabe: 3/2014

Ausgabe: 1/2015

Anzeige

Aktuelle Ausgaben

Journal of Automated Reasoning 2/2024
Journal of Automated Reasoning 1/2024
Journal of Automated Reasoning 4/2023
Journal of Automated Reasoning 3/2023
Journal of Automated Reasoning 2/2023
Journal of Automated Reasoning 1/2023
Journal of Automated Reasoning 4/2022
Special issue on Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (437-584)
Journal of Automated Reasoning 3/2022
Special Issue of Selected Extended Papers of IJCAR 2020
Journal of Automated Reasoning 2/2022
Journal of Automated Reasoning 1/2022

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Weitere Formate
Fachgebiete
Bücher
Zeitschriften
Themenseiten
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024