Empirically successful computerized reasoning

Renate A. Schmidt; Geoff Sutcliffe; Stephan Schulz

doi:10.1016/j.jal.2007.07.001

Empirically successful computerized reasoning

Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz

Computer Science

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	1
Number of pages	1
Journal	Journal of Applied Logic
Volume	7
Issue number	1
DOIs	https://doi.org/10.1016/j.jal.2007.07.001
State	Published - Mar 2009

ASJC Scopus subject areas

Logic
Applied Mathematics

Access to Document

10.1016/j.jal.2007.07.001

Cite this

@article{1888227452094ff693ea4cdc8a91ac5b,

title = "Empirically successful computerized reasoning",

author = "Schmidt, {Renate A.} and Geoff 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, Geoff

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

AN - SCOPUS:58549109891

VL - 7

SP - 1

JO - Journal of Applied Logic

JF - Journal of Applied Logic

SN - 1570-8683

IS - 1

ER -

Empirically successful computerized reasoning

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this