登入選單
Google圖書搜尋
Propagation of Change in an Intelligent Informatio...
作者
Linkoeping University. Department of Computer and Information Science / Michael Jansson
出版1993
ISBN
9178711258 / 9789178711253
A Representation of Action Structures
作者
Linkoeping University. Dept. of Computer and Information Science / E. Sandewall / Ralph Rönnquist
出版1986
ISBN
OCLC:185746730
主題
Artificial intelligence
The Structure of Mixed Language Programming Realiz...
作者
Linkoeping University. Dept. of Computer and Information Science / Bo Einarsson
出版1985
ISBN
OCLC:17510960
主題
Computer interfaces
Communication Knowledge for Knowledge Communicatio...
作者
Linkoeping University. Dept. of Computer and Information Science / Y. Waern / S. Hägglund / J. Löwgren / I. Rankin / T. Sokolnicki / A. Steinemann
出版1990
ISBN
OCLC:28541472
主題
Human-computer interaction
A System for Studying Human-computer Dialogues in ...
作者
Linkoeping University. Dept. of Computer and Information Science / Nils Dahlbäck / Arne Jönsson
出版1986
ISBN
OCLC:18721223
主題
Computer interfaces
NODE
作者
Lin Padgham
出版1988
ISBN
OCLC:186482524
Affect-chaining in Program Flow Analysis Applied t...
作者
Linkoeping University. Dept. of Computer and Information Science / Mariam Kamkar / N. Shahmehri
出版1987
ISBN
9178701953 / 9789178701957
主題
Computer programming
The Information Lattice of Networks Used for Knowl...
作者
Linkoeping University. Department of Computer and Information Science / R. Roennquist
出版1986
ISBN
OCLC:123329245
主題
Graph theory
On the Integration of Linguistic Knowledge and Wor...
作者
Linkoeping University. Dept. of Computer and Information Science / L. Ahrenberg
出版1989
ISBN
OCLC:26604377
主題
Natural language processing (Computer science)
Generalized Algorithmic Debugging and Testing
作者
Linkoeping University. Dept. of Computer and Information Science / P. Fritzson / T. Gyimothy / Mariam Kamkar / Nahid Shahmehri
出版1990
ISBN
OCLC:185664029
主題
Debugging in computer science
A Formal Hardware Description and Verification Met...
作者
Linkoeping University. Dept. of Computer and Information Science / T. Larsson
出版1989
ISBN
9178705177 / 9789178705177
主題
Integrated circuits
A Systematic Approach to Abstract Interpretation o...
作者
Linkoeping University. Dept. of Computer and Information Science / U. Nilsson
出版1989
ISBN
9178705541 / 9789178705542
主題
Logic programming
Information Needs and Information Seeking Behaviou...
作者
Linkoeping University. Dept. of Computer and Information Science / T. Timpka / Marie Ekström / P. Bjurulf
出版1990
ISBN
OCLC:185625058
主題
Information theory
Reuse and Maintenance Techniques in Knowledge-base...
作者
Linkoeping University. Dept. of Computer and Information Science / H. Nordin
出版1987
ISBN
OCLC:18263130
主題
Artificial intelligence
Incremental Scanning and Token-based Editing
作者
Linkoeping University. Dept. of Computer and Information Science / R. Bilos
出版1987
ISBN
9178701651 / 9789178701650
主題
Computer programs
A Paradigm and System for Design of Distributed Sy...
作者
Johan Fagerström
出版1988
ISBN
9178703018 / 9789178703012
主題
Electronic data processing
A Logic for Propagation Based Characterisation of ...
作者
Linkoeping University. Dept. of Computer and Information Science / Ralph Rönnquist
出版1990
ISBN
OCLC:185606717
主題
Artificial intelligence
Towards a Methodology for the Design of Abstract M...
作者
Linkoeping University. Dept. of Computer and Information Science / U. Nilsson
出版1990
ISBN
OCLC:186030507
主題
Logic programming
Reasoning about Interdependent Actions
作者
C. Bäckström
出版1988
ISBN
9178703581 / 9789178703586
主題
Logic
Systematic Construction of Domains for Abstract In...
作者
Linkoeping University. Dept. of Computer and Information Science / U. Nilsson
出版1988
ISBN
OCLC:186429715
主題
Computer programs
An Interactive System for Tagging Dialogues
作者
Linkoeping University. Dept. of Computer and Information Science / L. Ahrenberg / Arne Jönsson
出版1987
ISBN
OCLC:18721589
主題
Database management
A Hypermedia Document Collection for Primary Care:...
作者
Linkoeping University. Dept. of Computer and Information Science / T. Timpka / P. Hedblom / G. Tibblin
出版1990
ISBN
OCLC:185657598
主題
Diagnosis
A Formal Approach to Reason-maintenance Based on A...
作者
Linkoeping University. Dept. of Computer and Information Science / P. Haneclou
出版1987
ISBN
OCLC:18721284
主題
Reasoning
Mixed Functional and Temporal Hardware Verificatio...
作者
Linkoeping University. Dept. of Computer and Information Science / T. Larsson
出版1989
ISBN
OCLC:24095092
主題
Computer programs
State of the Art Statistical Expert Systems
作者
Linkoeping University. Dept. of Computer and Information Science / S. I. Chowdhury
出版1987
ISBN
OCLC:18263123
主題
Artificial intelligence
Network and Lattice Based Approaches to the Repres...
作者
Linkoeping University. Dept. of Computer and Information Science / Ralph Rönnquist
出版1987
ISBN
9178701856 / 9789178701858
主題
Computer networks
A Knowledge-based Tool for User Interface Evaluati...
作者
Linkoeping University. Dept. of Computer and Information Science / Jonas Löwgren / T. Nordqvist
出版1990
ISBN
OCLC:28541484
主題
User interfaces (Computer systems)
A Hypertext Knowledge Base for Primary Care - LIME...
作者
Linkoeping University. Dept. of Computer and Information Science / Toomas Timpka / L. Padgham / P. Hedblom / S. Wallin / G. Tibblin
出版1990
ISBN
OCLC:185622387
主題
Hypertext systems
Algorithmic Debugging with Assertions
作者
Linkoeping University. Dept. of Computer and Information Science / W. Drabent / S. Nadjm-Tehrani / J. Maluszynski
出版1988
ISBN
OCLC:18263106
主題
Algorithms
Contributions to the Declarative Approach to Debug...
作者
Linkoeping University. Dept. of Computer and Information Science / S. Nadjm-Tehrani
出版1989
ISBN
9178705320 / 9789178705320
主題
Debugging in computer science