Combining Logic Programming and Equation Solving
- 期刊名称Journal of Logic and Computation
- 作者HÖLLDOBLER, STEFFEN
- 卷第1卷
- 期第3期
- 印刷ISSN0955-792X
- 电子ISSN1465-363X
- 文件大小1016.35KB
- 发表时间1991
- DOI10.1093/logcom/1.3.397
- 页码397-415
New BooksR. R. Marett, Sidney Ball, C. C. J. Webb, Herbert W. Blunt, F. C. S. Schiller, Frank Granger, J. L. M., F. N. Hales and C. A. F. Rhys Davids · Mind (New Series) · 1902
Neutropaenic enteropathyS. N. Huddart; C. Ball; D. C. S. Gough · 1993
nucleusKelsall, N. S.; Wadsworth, R.; Wilson, A. N.; Fallon, P.; Macchiavelli, A. O.; Clark, R. M.; Sarantites, D. G.; Seweryniak, D.; Svensson, C. E.; Vincent, S. M.; Frauendorf, S.; Sheikh, J. A.; Ball, G. C. · Physical Review C · 2001
Tinnitus als soziale Infektion?M. Franz; H. Balló; C. Heckrath; C. Schneider; N. Schmitz; M. Löwer-Hirsch; B. West-Leuer; M. Hirsch; J. Ott · 2005
Particulate contaminants of intravenous medications and infusionsC. M. Backhouse; P. R. Ball; S. Booth; M. A. Kelshaw; S. R. Potter; C. N. Mccollum · 1987
The lead dioxide electrodeS. R. Ellis; N. A. Hampson; M. C. Ball; F. Wilkinson · 1986
New BooksF. N. H., W. McD., Sidney Ball, W. D. Morrison, J. S. Mackenzie, J. Shawcross, C. B. and A. W. B. · Mind (New Series) · 1902
Measuring vocabulary diversity using dedicated softwareMcKee, G · Literary and Linguistic Computing · 2000
Corpus Annotation SchemesLEECH, G. · Literary and Linguistic Computing · 1993
Retrieving relatives from historical dataHundt, M.; Denison, D.; Schneider, G. · Literary and Linguistic Computing · 2012
The Language of Dialogue in FictionOOSTDIJK, N. · Literary and Linguistic Computing · 1990
Corpus Design CriteriaATKINS, S. · Literary and Linguistic Computing · 1992
Killer Applications in Digital HumanitiesJuola, P. · Literary and Linguistic Computing · 2007
Alberti's letter countsYcart, B. · Literary and Linguistic Computing · 2014
What Ever Happened to Project Bamboo?Dombrowski, Q. · Literary and Linguistic Computing · 2014