UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

ULiège (36)

KU Leuven (14)

UCLouvain (12)

UAntwerpen (9)

UGent (8)

ULB (5)

KBR (4)

UHasselt (4)

Odisee (3)

UNamur (3)
More...

Resource type

book (34)

article (1)

periodical (1)

Language

English (26)

French (5)

German (4)

Undetermined (1)

Year

From To

2004 (1)

2001 (1)

1999 (1)

1998 (2)

1996 (4)
More...

Listing 1 - 10 of 36 << page
of 4
>>
Sort by

Book

Theoretical approaches to non-numerical problem solving : proceedings of the IV Systems Symposium at Cape Western Reserve University
Authors: Banerji, Ranan B. --- Mesarović, Mihajlo D. --- Systems symposium of the Systems research center.
Year: 1970 Publisher: Berlin : Springer-Verl.,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique

Book

Dixièmes journées montoises d'informatique théorique : [Liège], 8-11 septembre 2004 : actes de la conférence
Authors: Berstel, Jean --- Bruyere, Véronique --- Rigo, Michel --- Lecomte, Pierre
Year: 2004 Publisher: Liège : Université de Liège, Institut de mathématique (ULg),

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique

Book

Proceedings of the sixth international workshop on relational methods in computer science, RelMiCS '6, and first international workshop of COST action 274 "Theory and application of relational structures as knowledge instruments", TARSKI : Oisterwijk bij Tilburg, Nederland, October 16-21, 2001
Authors: Swart, H. C. M. de --- International workshop on relational methods in computer science.
Year: 2001 Publisher: Tilburg : Katholieke Universiteit Brabant,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique --- Artificial intelligence

Book

Mathematical software
Author: Rice, A. K.
Year: 1971 Publisher: New York, NY : Academic Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique --- Colloque

Book

Raisonnement géométrique assisté par ordinateur : computer-aided geometric reasoning : 22-26 juin 1987 : suport de cours = course texts
Author: Institut national de recherche en informatique et en automatique (France).
Year: 1987 Publisher: Le Chesnay : INRIA,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique --- Geometrie algorithmique

Book

The theory of mathematical machines
Authors: Bazilevskiĭ, I︠U︡. I︠A︡. --- Hoare, C. A. R. --- Jackson, J. M.
Year: 1963 Publisher: Oxford : Pergamon Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique --- Colloque

Book

Discrete algorithms and complexity : Proceedings of the Japan-US joint seminar [on discrete algorithms and complexity theory], June 4-6, 1986, Kyoto, Japan
Authors: Johnson, David --- Nozaki, Akihiro --- Nishizeki, T. --- Japan-US joint seminar on discrete algorithms and complexity theory :
Year: 1987 Publisher: Orlando : Academic Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Algorithmique --- Algorithmes --- Informatique theorique --- Complexite

Article

On a neuromachine equivalent to the universal Turing machine
Author: MERCANTI, Fabio

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
ARTIFICIAL INTELLIGENCE --- INFORMATIQUE THEORIQUE --- MACHINES DE TURING

Book

Workshop on the dynamics of computing : proceedings of a workshop held July 13, 1998 at the University of Liège (Belgium)
Authors: Blondel, Vincent --- Sepulchre, R. --- Workshop on the dynamics of computing : --- Fonds national de la recherche scientifique (Belgique)
Year: 1998 Publisher: [Liège] : [Université de Liège],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Systèmes, Théorie des --- Informatique theorique

Book

Second workshop on computability and complexity in analysis : CCA '96 : August 22-23, 1996, Universität Trier, Germany : extended abstracts
Authors: Ko, Ker-I --- Weihrauch, K. --- Workshop on computability and complexity in analysis.
Year: 1996 Publisher: [Trier] : Universität Trier,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique --- Logique mathematique --- Algorithmique --- Calculabilite --- Complexite

Listing 1 - 10 of 36 << page
of 4
>>
Sort by