UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

ULiège (8)

KU Leuven (3)

UCLouvain (3)

UGent (2)

AML (1)

UNamur (1)

Resource type

dissertation (5)

book (4)

Language

English (9)

Year

From To

1988 (1)

1987 (1)

1984 (1)

1982 (1)

1981 (2)
More...

Listing 1 - 9 of 9
Sort by

Dissertation

Methodologies for transformations and memoing in applicative languages
Authors: Pettorossi, Alberto --- Burstall, Rod M.
Year: 1984 Publisher: Edinburgh : University of Edinburgh, Department of Computer Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

A categorical programming language
Authors: Hagino, Tatsuya --- Burstall, Rod M.
Year: 1987 Publisher: Edinburgh : University of Edinburgh, Department of Computer Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Abstract interpretation and optimising transformations for applicative programs
Authors: Mycroft, Alan --- Burstall, Rod M.
Year: 1981 Publisher: Edinburgh : University of Edinburgh, Department of Computer Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Computational category theory
Authors: Rydeheard, David E. --- Burstall, Rod M.
ISBN: 0131627368 9780131627369 Year: 1988 Publisher: New York: Prentice Hall,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Categories (Mathematics) --- Computer programming. --- Data processing. --- Catégories (mathématiques) --- Theoretical Computer Sci --- Functional programming --- Unification --- category theory --- Program Design

Dissertation

Semantics, implementation and pragmatics of clear : a program specification language
Authors: Sannella, Donald Theodore --- Burstall, Rod M.
Year: 1982 Publisher: Edinburgh : University of Edinburgh, Department of Computer Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Applications of category theory to programming and program specification
Authors: Rydeheard, David Eric --- Burstall, Rod M.
Year: 1981 Publisher: Edinburgh : University of Edinburgh, Department of Computer Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Artificial intelligence : an introductory course
Authors: Bundy, Alan R. --- Burstall, Rod M. --- Weir, S.
ISBN: 085224410X 9780852244104 Year: 1980 Publisher: Edinburgh: Edinburgh University Press in association with The Aga Khan University,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
681.3*I20 --- Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- 681.3*I20 Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- Artificial intelligence. --- Intelligence artificielle

Book

Programming in POP-2
Authors: Burstall, Rod M. --- Collins, John Stuart --- Popplestone, R.J.
ISBN: 0852241976 9780852241974 Year: 1971 Publisher: Edinburgh: Edinburgh University Press in association with The Aga Khan University,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
POP (Computer program language) --- Computer programming --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Langages de programmation --- Programming languages (Electronic computers) --- Langages de programmation.

Artificial intelligence : an introductory course
Authors: Bundy, Alan R. --- Burstall, Rod M. --- Weir, S. --- Young, R. M.
ISBN: 0776100254 Year: 1978 Publisher: Edinburgh : University of Edinburgh,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Théâtre avec quinze personnages: quinze femmes.

Keywords
Intelligence artificielle --- Ordinateurs --- Atomatisme conscient --- Automates --- Essai --- Tremblay, Michel

Listing 1 - 9 of 9
Sort by