登入選單
Google圖書搜尋
Strategic Research Programme
作者
Swedish Institute of Computer Science
出版1995
ISBN
OCLC:187018724
A Bibliography on Sketches from the Computer Scien...
作者
O. Permvall / Swedish Institute of Computer Science
出版1991
ISBN
OCLC:186058026
主題
Categories (Mathematics)
A Learning System for Fault Finding
作者
Swedish Institute of Computer Science / A. Tunevi
出版1989
ISBN
OCLC:123322394
Computer Aided Hardware Design by Space-time Mappi...
作者
Swedish Institute of Computer Science / A. Avatare
出版1989
ISBN
OCLC:123331709
Structural and Behavioural Equivalences of Network...
作者
Swedish Institute of Computer Science / J. Parrow
出版1990
ISBN
OCLC:27373134
主題
Computer networks
EWAM: an Extension of WAM to Execute Functional Pr...
作者
Swedish Institute of Computer Science / P. Kreuger
出版1989
ISBN
OCLC:123324758
Knowledge Structures, Strategies and Learning Proc...
作者
Swedish Institute of Computer Science / A. Tunevi
出版1989
ISBN
OCLC:123322395
Kernel Andorra Prolog and Its Computational Model
作者
Swedish Institute of Computer Science / S. Haridi / S. Janson
出版1990
ISBN
OCLC:123327787
Formal Aspects of Kernel Andorra: I.
作者
Swedish Institute of Computer Science / Torkel Franzén
出版1990
ISBN
OCLC:37893401
主題
Logic programming languages
Applying Explanation-based Learning to Natural-lan...
作者
Manny Rayner / Swedish Institute of Computer Science / Christer Samuelsson
出版1989
ISBN
OCLC:21454201
主題
Machine learning
Generating AND-parallel Execution Expressions
作者
Swedish Institute of Computer Science / A. Thomas Sjöland
出版1990
ISBN
OCLC:27373114
主題
Logic programming
A Method for Implementing Cut in Parallel Executio...
作者
Swedish Institute of Computer Science / K. A. M. Ali
出版1987
ISBN
OCLC:123328121
Compositional Specification and Verification of Di...
作者
Swedish Institute of Computer Science / B. Jonsson
出版1990
ISBN
OCLC:27373102
主題
Computer programs
A Logic for Reasoning about Time and Reliability
作者
Swedish Institute of Computer Science / H. Hansson / B. Jonsson
出版1990
ISBN
OCLC:27373123
主題
Logic, Symbolic and mathematical
Freeze, Indexing, and Other Implementation Issues ...
作者
Swedish Institute of Computer Science / M. Carlsson
出版1986
ISBN
OCLC:123327786
Implementation of a Verification Method to Communi...
作者
Swedish Institute of Computer Science / A. H. Khan
出版1989
ISBN
OCLC:123322397
The Instruction Set for the GCLA Abstract Machine
作者
Swedish Institute of Computer Science / M. Aronsson
出版1989
ISBN
OCLC:123322392
The Expressive Power of Parallelism
作者
Swedish Institute of Computer Science / J. Parrow
出版1990
ISBN
OCLC:27373107
主題
Parallel processing (Electronic computers)
An Implementation Technique for the Abstract Inter...
作者
A. Waern / Swedish Institute of Computer Science
出版1988
ISBN
OCLC:20212309
主題
Prolog (Computer program language)
Algorithmic Aspects of Intuitionistic Propositiona...
作者
Torkel Franzén / Swedish Institute of Computer Science
出版1987
ISBN
OCLC:186541648
主題
Algorithms
CCS as a Method of Specification and Verification:...
作者
Patrik Ernberg / Swedish Institute of Computer Science
出版1991
ISBN
OCLC:39503284
主題
Algebra, Abstract
The Muse Approach to Or-parallel Prolog
作者
Swedish Institute of Computer Science / K. A. M. Ali / R. Karlsson
出版1990
ISBN
OCLC:27373126
主題
Multiprocessors
Implementing LOTOS as Asynchronously Communicating...
作者
Swedish Institute of Computer Science / Peter Sjödin
出版1990
ISBN
OCLC:37893406
主題
Machine theory
Variable Shunting for the WAM.
作者
Swedish Institute of Computer Science / D. Sahlin / M. Carlsson
出版1991
ISBN
OCLC:25601235
主題
Garbage collection (Computer science)
Knowledge Acquisition Procedures for Diagnosis of ...
作者
Anette Gäredal / Swedish Institute of Computer Science / D. Melin-Högrell / C. Nellborn / J. Olsson
出版1990
ISBN
OCLC:39503292
主題
Knowledge acquisition (Expert systems)
Generation of Graphic Language-oriented Design Env...
作者
Björn Backlund / Olof Hagsand / Swedish Institute of Computer Science / Björn Pehrson
出版1989
ISBN
OCLC:22159853
主題
Computer graphics
On Compiling Indexing and Cut for the WAM.
作者
Mats Carlsson / Swedish Institute of Computer Science
出版1986
ISBN
OCLC:20144909
主題
Compiling (Electronic computers)
Logic Programming and the Intuitionistic Sequent C...
作者
Torkel Franzén / Swedish Institute of Computer Science
出版1988
ISBN
OCLC:20144935
主題
Calculus
A Higher Order Logic Parser for Natural Language I...
作者
Swedish Institute of Computer Science / P. Kreuger
出版1988
ISBN
OCLC:123331077
A Scheme for Compiling GHC to Prolog Using Freeze
作者
F. Holmgren / Swedish Institute of Computer Science / A. Waern
出版1987
ISBN
OCLC:186541539
主題
Compiling (Electronic computers)