search result

Cover von Dependency-based groundness analysis of functional logic programs
Author: Boye, Johan Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology thesis; 398
Media group: DISSERTATION
Cover von Tabulated resolution for well-founded semantics
Author: Degerstedt, Lars Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology thesis; 402
Media group: DISSERTATION
Cover von Symbolic modelling of the dynamic environments of autonomous agents
Author: Österling, Per Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology thesis; 386
Media group: DISSERTATION
Cover von An architecture and a knowledge representation model for expert critiquing systems
Author: Harrius, Jonni Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology thesis; 383
Media group: DISSERTATION
Cover von Propagation of change in an intelligent information system
Author: Jansson, Michael Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology thesis; 381
Media group: DISSERTATION
Cover von Compiler generation for parallel languages from denotational specifications
Author: Ringström, Johan Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology thesis; 380
Media group: DISSERTATION
Cover von Dialogue management for natural language interfaces
an empirical approach
Author: Jönsson, Arne Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology dissertations; 312
Media group: DISSERTATION
Cover von A study in diagnosis using classification and defaults
Author: Zhang, Tingting Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology dissertations; 302
Media group: DISSERTATION
Cover von Interprocedural dynamic slicing with applications to debugging and testing
Author: Kamkar, Mariam Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology dissertations; 297
Media group: DISSERTATION
Cover von A transformational approach to formal digital system design
Author: Larsson, Mats Search for this author
Year: 1993
Publisher: Linköping, University
Series: Linköping studies in science and technology thesis; 378
Media group: DISSERTATION
OPEN V 11.1.0.0