Conceptual Graphs and First Order Logic
- 期刊名称The Computer Journal
- 作者Amati, G.
- 卷第43卷
- 期第1期
- 印刷ISSN0010-4620
- 电子ISSN1460-2067
- 文件大小257.64KB
- 发表时间2000-01-01
- DOI10.1093/comjnl/43.1.1
- 页码1-12
User Interface Design and EvaluationSturtz, David · Information Visualization · 2006
Automated metrics for user interface design and evaluationAndrew L. Sears · 1994
Design, implementation and evaluation of an adaptive user interfaceC.G. Thomas · 1993
An Augmented-reality-based Warning Interface for Pedestrians: User Interface Design and EvaluationTong, Yourui; Jia, Bochen · Proceedings of the Human Factors and Ergonomics Society Annual Meeting · 2019
Using GOMS for user interface design and evaluation: which technique?John, Bonnie E.; Kieras, David E. · ACM Transactions on Computer-Human Interaction · 1996
The Uses of Prototyping in User Interface Design and EvaluationVirzi, R. A.; Penn, D.; Tullis, T. S.; Greene, S. L. · Proceedings of the Human Factors and Ergonomics Society Annual Meeting · 1990
Handbook of Research on User Interface Design and Evaluation for Mobile Technology Volume IIJoanna Lumsden · IGI Global · 2008
59Isaac L. Beverage, J. C. Corbin, H. C. Wilkes, G. B. M. Zerr and F. M. McGaw · The American Mathematical Monthly · 1896
Book reviewsWaterhouse, Hilary; Isaac, Peter C. G.; Rose, Edgar A.; Walters, Harry; Nash, C. A. · International Journal of Environmental Studies · 1974
Reuse of sewage effluent || Closing addressIsaac, P. C. C. · 1985
NOTES BIBLIOGRAPHIQUESReview by: R. Lantier, J. Isaac, Henri Hauser, C. Richard, Ch. B., M. Bataillon, E. Duchesne, J. Alazard, C. Brunel, H. Hr. and E. Jordan · Revue Historique · 1929
Problems: 2-16Adolph Bailoff, Earl D. West, William Hoover, J. C. Gregg, Eric Doolittle, Lecta Miller, J. F. W. Scheffer, Henry Heaton, Isaac L. Beverage and H. C. Whitaker · The American Mathematical Monthly · 1894
Sectional notesH. G. Zuckerman; C. H. Metzger; E. R. Bennett; W. B. Ward; John S. Gardner; E. L. Newdick; Ralph W. Donaldson; H. C. Moore; E. E. Isaac; William H. Martin; J. R. Livermore; Karl H. Fernow; R. C. Hastings; J. B. R. Dickey · 1934
Writer's cramp: Not associated with anxietyDr. Richard C. Harrington; Angelika Wieck; Isaac M. Marks; C. David Marsden · 1988
Silent Synapses during Development of Thalamocortical InputsJohn T.R. Isaac; Michael C. Crair; Roger A. Nicoll; Robert C. Malenka · 1997
Graph theory and algorithmsFigueiredo, Celina M. H.; Szwarcfiter, Jayme L. · Journal of the Brazilian Computer Society · 2012
EditorialOliveira, Maria Cristina Ferreira · Journal of the Brazilian Computer Society · 2012
Classification of Text DocumentsLi, Y. H. · The Computer Journal · 1998
The calculation of Lame polynomialsWilkinson, J. H. · The Computer Journal · 1965
ALAM--Atlas Lisp Algebraic Manipulatord'Inverno, R. A. · The Computer Journal · 1969
The Mechanical Evaluation of ExpressionsLandin, P. J. · The Computer Journal · 1964
Two Dimensional Interpolation from Random DataMcLain, D. H. · The Computer Journal · 1976
Parameterized Complexity and Approximation AlgorithmsMarx, D. · The Computer Journal · 2007