Empirically successful computerized reasoning

Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz

Research output: Contribution to journal › Editorial

Cite this

@article{1888227452094ff693ea4cdc8a91ac5b,

title = "Empirically successful computerized reasoning",

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

year = "2009",

month = mar,

day = "1",

doi = "10.1016/j.jal.2007.07.001",

language = "English (US)",

volume = "7",

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, Geoff

AU - Schulz, Stephan

PY - 2009/3/1

Y1 - 2009/3/1

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 - Editorial

AN - SCOPUS:58549109891

VL - 7

JO - Journal of Applied Logic

JF - Journal of Applied Logic

SN - 1570-8683

IS - 1

ER -