Search results

Articles (6)

Journals (0)

1-6 of 6 results for mechanised reasoning

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 1999-8

A Pragmatic Approach to Extending Provers by Computer Algebra — with Applications to Coding Theory

Clemens Ballarin, Lawrence C. Paulson

Fundamenta Informaticae

Free access

Editorial

First published 2010-11

Evidence-based mechanistic reasoning

Jeremy Howick, Paul Glasziou, Jeffrey K Aronson

Journal of the Royal Society of Medicine

Retricted access

Research article

First published 2020-8

Case-based reasoning method based on mechanistic model correction for predicting endpoint sulphur content of molten iron in KR desulphurization

Kai Feng, An-jun Xu, Dong-feng He [...]

Ironmaking & Steelmaking: Processes,Products and Applications

Retricted access

Research article

First published 1989-5

Nonmonotonic Logics – A Brief Overview

Gerhard Brewka

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2012-12

On Realisability Semantics for Intersection Types with Expansion Variables

Fairouz Kamareddine, Karim Nour, Vincent Rahli [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2012-6

Bringing Culture Back: Traditional Agricultural Knowledge,Food Production and Sustainable Livelihood among Chuktia Bhunjia of Orissa

Bhubaneswar Sabar

Social Change