Empirically successful computerized reasoning

Renate A. Schmidt, Geoffrey Sutcliffe, Stephan Schulz

Research output: Contribution to journal › Article

@article{1888227452094ff693ea4cdc8a91ac5b,

title = "Empirically successful computerized reasoning",

author = "Schmidt, {Renate A.} and Geoffrey Sutcliffe and Stephan Schulz",

year = "2009",

month = mar

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

AN - SCOPUS:58549109891

VL - 7

SP - 1

JO - Journal of Applied Logic

JF - Journal of Applied Logic

SN - 1570-8683

IS - 1

ER -