Special issue on user interfaces in theorem proving: Preface

被引：0

作者：

Aspinall, David ^{[1
]}

Lüth, Christoph ^{[2
]}

机构：

[1] LFCS, School of Informatics, University of Edinburgh, Edinburgh, United Kingdom

[2] Deutsches Forschungszentrum für Künstliche Intelligenz, 28359 Bremen, Germany

来源：

Journal of Automated Reasoning | 2007年 / 39卷 / 02期

关键词：

User interfaces;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Journal article (JA)

引用

页码：107 / 108

共 50 条

[41] Preface to UMUAI special issue on machine learning for user modeling
Webb, GI
[J]. USER MODELING AND USER-ADAPTED INTERACTION, 1998, 8 (1-2) : 1 - 3
[42] Preface to the special issue on dynamic recommender systems and user models
João Vinagre
Alípio Mário Jorge
Marie Al-Ghossein
Albert Bifet
Paolo Cremonesi
[J]. User Modeling and User-Adapted Interaction, 2022, 32 : 503 - 507
[43] Preface to UMUAI Special Issue on Machine Learning for User Modeling
G. Webb
[J]. User Modeling and User-Adapted Interaction, 1998, 8 : 1 - 3
[44] Preface to the Special Issue on user modeling for personalized interaction with music
Tkalcic, Marko
Schedl, Markus
Knees, Peter
[J]. USER MODELING AND USER-ADAPTED INTERACTION, 2020, 30 (02) : 195 - 198
[45] Special issue on user modeling for Web information retrieval - Preface
Brusilovsky, P
Tasso, C
[J]. USER MODELING AND USER-ADAPTED INTERACTION, 2004, 14 (2-3) : 147 - 157
[46] Preface to the special issue on dynamic recommender systems and user models
Vinagre, Joao
Jorge, Alipio Mario
Al-Ghossein, Marie
Bifet, Albert
Cremonesi, Paolo
[J]. USER MODELING AND USER-ADAPTED INTERACTION, 2022, 32 (04) : 503 - 507
[47] Preface to Special Issue on User Modeling for Web Information Retrieval
Peter Brusilovsky
Carlo Tasso
[J]. User Modeling and User-Adapted Interaction, 2004, 14 : 147 - 157
[48] HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS - SPECIAL ISSUE
MELHAM, TF
[J]. COMPUTER JOURNAL, 1995, 38 (02): : 89 - 90
[49] Special issue on advances in first-order theorem proving - Foreword of the guest editors
Bonacina, MP
Furbach, U
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2000, 29 (02) : 117 - 118
[50] Automated reasoning and theorem proving in education - Preface
Kapur, D
[J]. JOURNAL OF AUTOMATED REASONING, 2004, 32 (03) : 185 - 186

← 1 2 3 4 5 →