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 条

[1] Special issue on user interfaces in theorem proving:: Preface
Aspinall, David
Lueth, Christoph
[J]. JOURNAL OF AUTOMATED REASONING, 2007, 39 (02) : 107 - 108
[2] Special Issue on User Interfaces in Theorem Proving: Preface
David Aspinall
Christoph Lüth
[J]. Journal of Automated Reasoning, 2007, 39 : 107 - 108
[3] Interactive Theorem Proving Preface of the Special Issue
Klein, Gerwin
Gamboa, Ruben
[J]. JOURNAL OF AUTOMATED REASONING, 2016, 56 (03) : 201 - 203
[4] SPECIAL ISSUE: INTERACTIVE THEOREM PROVING AND THE FORMALISATION OF MATHEMATICS Preface
Huet, Gerard
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (04) : 671 - 677
[5] Preface to the special issue on user interfaces for recommender systems
Alexander Felfernig
Robin Burke
Pearl Pu
[J]. User Modeling and User-Adapted Interaction, 2012, 22 : 313 - 316
[6] Preface to the special issue on user interfaces for recommender systems
Felfernig, Alexander
Burke, Robin
Pu, Pearl
[J]. USER MODELING AND USER-ADAPTED INTERACTION, 2012, 22 (4-5) : 313 - 316
[7] Special Issue: Organic User Interfaces
Girouard, Audrey
Vertegaal, Roel
Poupyrev, Ivan
[J]. INTERACTING WITH COMPUTERS, 2013, 25 (02) : 115 - 116
[8] SPECIAL ISSUE - INTELLIGENT USER INTERFACES
HEFLEY, WE
[J]. KNOWLEDGE-BASED SYSTEMS, 1993, 6 (04) : 187 - 187
[9] Preface to the special issue on mechanics of interfaces
Reimanis, IE
[J]. INTERFACE SCIENCE, 2003, 11 (03) : 275 - 275
[10] Special issue on human interfaces - Preface
Tanahashi, J
[J]. FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1999, 35 (02): : 139 - 140

← 1 2 3 4 5 →