Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 4/2014

Content (3 Articles)

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

Oct 14
Issue: 3/2014
Jan 15
Issue: 1/2015

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits