| Original language | English (US) |
|---|---|
| Pages (from-to) | 1 |
| Number of pages | 1 |
| Journal | Journal of Applied Logic |
| Volume | 7 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 2009 |
Fingerprint
Reasoning
ASJC Scopus subject areas
- Logic
- Applied Mathematics
Cite this
Schmidt, R. A., Sutcliffe, G., & Schulz, S. (2009). Empirically successful computerized reasoning. Journal of Applied Logic, 7(1), 1. https://doi.org/10.1016/j.jal.2007.07.001
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 journal › Article
Schmidt, RA, Sutcliffe, G & Schulz, S 2009, 'Empirically successful computerized reasoning', Journal of Applied Logic, vol. 7, no. 1, pp. 1. https://doi.org/10.1016/j.jal.2007.07.001
Schmidt RA, Sutcliffe G, Schulz S. Empirically successful computerized reasoning. Journal of Applied Logic. 2009 Mar;7(1):1. https://doi.org/10.1016/j.jal.2007.07.001
@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 -