Empirically successful computerized reasoning

Renate A. Schmidt, Geoffrey Sutcliffe, Stephan Schulz

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)1
Number of pages1
JournalJournal of Applied Logic
Volume7
Issue number1
DOIs
StatePublished - Mar 2009

Fingerprint

Reasoning

ASJC Scopus subject areas

  • Logic
  • Applied Mathematics

Cite this

Empirically successful computerized reasoning. / Schmidt, Renate A.; Sutcliffe, Geoffrey; Schulz, Stephan.

In: Journal of Applied Logic, Vol. 7, No. 1, 03.2009, p. 1.

Research output: Contribution to journalArticle

Schmidt, Renate A. ; Sutcliffe, Geoffrey ; Schulz, Stephan. / Empirically successful computerized reasoning. In: Journal of Applied Logic. 2009 ; Vol. 7, No. 1. pp. 1.
@article{1888227452094ff693ea4cdc8a91ac5b,
title = "Empirically successful computerized reasoning",
author = "Schmidt, {Renate A.} and Geoffrey Sutcliffe and Stephan Schulz",
year = "2009",
month = "3",
doi = "10.1016/j.jal.2007.07.001",
language = "English (US)",
volume = "7",
pages = "1",
journal = "Journal of Applied Logic",
issn = "1570-8683",
publisher = "Elsevier BV",
number = "1",

}

TY - JOUR

T1 - Empirically successful computerized reasoning

AU - Schmidt, Renate A.

AU - Sutcliffe, Geoffrey

AU - Schulz, Stephan

PY - 2009/3

Y1 - 2009/3

UR - http://www.scopus.com/inward/record.url?scp=58549109891&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=58549109891&partnerID=8YFLogxK

U2 - 10.1016/j.jal.2007.07.001

DO - 10.1016/j.jal.2007.07.001

M3 - Article

VL - 7

SP - 1

JO - Journal of Applied Logic

JF - Journal of Applied Logic

SN - 1570-8683

IS - 1

ER -