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
Book Review: Software Review: reForm SoftwareMartucci, Joel D. · DICP · 1991
Software Review : A Review of the UniFit II Software PackageLaw, A. M.; Bettinger, R. · SIMULATION · 1992
Book Review: Software Review: SIcalc: Software Program for Interconversions of S.I. Units and Traditional UnitsDobbs, Joel H. · DICP · 1990
Software Review: Atrium Patient Database SoftwareJ.A. Michaels; H.E. Ashurst · 1999
Software Review: Creativity-Aiding SoftwareNagel, S. · Social Science Computer Review · 2001
Software review. Overview of the MCDA software marketDennis M. Buede · 1992
Software Reviews : Anthropological Database Software: A Review EssayO'Neil, D. · Social Science Computer Review · 1989
PC software review CDC Anthropometric Software Package (CASP)Victora, Cesar G · Health Policy and Planning · 1986
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