| Original language | English (US) |
|---|---|
| Pages (from-to) | 1 |
| Number of pages | 1 |
| Journal | Journal of Automated Reasoning |
| Volume | 37 |
| Issue number | 1-2 |
| DOIs | |
| State | Published - Aug 2006 |
ASJC Scopus subject areas
- Artificial Intelligence
Cite this
Fischer, B., Sutcliffe, G., & Schulz, S. (2006). Empirically successful automated reasoning: Applications issue. Journal of Automated Reasoning, 37(1-2), 1. https://doi.org/10.1007/s10817-006-9056-8
Empirically successful automated reasoning : Applications issue. / Fischer, Bernd; Sutcliffe, Geoffrey; Schulz, Stephan.
In: Journal of Automated Reasoning, Vol. 37, No. 1-2, 08.2006, p. 1.Research output: Contribution to journal › Article
Fischer, B, Sutcliffe, G & Schulz, S 2006, 'Empirically successful automated reasoning: Applications issue', Journal of Automated Reasoning, vol. 37, no. 1-2, pp. 1. https://doi.org/10.1007/s10817-006-9056-8
Fischer B, Sutcliffe G, Schulz S. Empirically successful automated reasoning: Applications issue. Journal of Automated Reasoning. 2006 Aug;37(1-2):1. https://doi.org/10.1007/s10817-006-9056-8
@article{d04f9d34e28e4541998df480ae04c8fd,
title = "Empirically successful automated reasoning: Applications issue",
author = "Bernd Fischer and Geoffrey Sutcliffe and Stephan Schulz",
year = "2006",
month = "8",
doi = "10.1007/s10817-006-9056-8",
language = "English (US)",
volume = "37",
pages = "1",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1-2",
}
TY - JOUR
T1 - Empirically successful automated reasoning
T2 - Applications issue
AU - Fischer, Bernd
AU - Sutcliffe, Geoffrey
AU - Schulz, Stephan
PY - 2006/8
Y1 - 2006/8
UR - http://www.scopus.com/inward/record.url?scp=33846553109&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33846553109&partnerID=8YFLogxK
U2 - 10.1007/s10817-006-9056-8
DO - 10.1007/s10817-006-9056-8
M3 - Article
AN - SCOPUS:33846553109
VL - 37
SP - 1
JO - Journal of Automated Reasoning
JF - Journal of Automated Reasoning
SN - 0168-7433
IS - 1-2
ER -