Transformatie van logische programma's: studie en implementatie van de lus absorptie methode

Een automatische methode om de eindigheid van logische programma's te bewijzen

Mertens, Koen
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1991

SIGLEKULeuven Cambiblliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgiu

Studie en implementatie van geheugen-compactie-algoritmes

Dequidt, Peter
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1992

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een nieuwe methode voor de meting van restspanningen in getextureerde deklagen

Buyser, Luc De
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Metaalkunde en Toegepaste Materiaalkunde

January 1993

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Studie van transformatie-coderingstechnieken voor beeldcompressie

Timmermans, Valere
Louvain Katholieke Univ. (Belgium)

January 1985

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Programmatransformatie gesteund op voorbeelden

Devlieghere, Juergen
Louvain, Katholieke Unvi., Heverlee (Belgium). Departement Computerwetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Ontwerp en implementatie van onderwijsgerichte programmatuur in het kader van de beroepsopleiding K.M.O

Vandewal, Michel
Wertelaers, Ivo
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Het automatische bewijzen van de eindigheid van logische programma's

Bossuyt, Filip
Busschaert, Joost
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Analyse programma voor draadantennes

Himbeeck, Carl Van
Louvain Katholieke Univ. (Belgium)

January 1988

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Studie, ontwerp en implementatie van een programmabibliotheek in C++

Lesire, Erik
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1989

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een didactische programmeer-omgeving

Tollenaere, Tom
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1988

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Implementatie van een semantisch netwerk voor beeldinterpretatie

Vangeel, Koen
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Studie en implementatie van een relatiebeheerder voor een lexicon

Peeters, Bruno
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1987

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Terminatie van logische programma's

Lemmens, Bart
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1992

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Koncept en implementatie van een grafische taal voor komputeranimatie

Vandenbrande, Marc
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Implemetnatie van een logische programmeertaal op een dataflow-architectuur

Hondt, Marleen De
Louvain, Katholieke Univ., Heverlee (Belgium). Departemetn Computerwetenchappen

January 1987

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een automatische methode om de eindigheid van logische programma's te bewijzen

Mertens, Koen
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1991

SIGLEKULeuven Cambiblliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgiu

Studie en implementatie van geheugen-compactie-algoritmes

Dequidt, Peter
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1992

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een nieuwe methode voor de meting van restspanningen in getextureerde deklagen

Buyser, Luc De
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Metaalkunde en Toegepaste Materiaalkunde

January 1993

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Studie van transformatie-coderingstechnieken voor beeldcompressie

Timmermans, Valere
Louvain Katholieke Univ. (Belgium)

January 1985

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Programmatransformatie gesteund op voorbeelden

Devlieghere, Juergen
Louvain, Katholieke Unvi., Heverlee (Belgium). Departement Computerwetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Ontwerp en implementatie van onderwijsgerichte programmatuur in het kader van de beroepsopleiding K.M.O

Vandewal, Michel
Wertelaers, Ivo
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Het automatische bewijzen van de eindigheid van logische programma's

Bossuyt, Filip
Busschaert, Joost
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Analyse programma voor draadantennes

Himbeeck, Carl Van
Louvain Katholieke Univ. (Belgium)

January 1988

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Studie, ontwerp en implementatie van een programmabibliotheek in C++

Lesire, Erik
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1989

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een didactische programmeer-omgeving

Tollenaere, Tom
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1988

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Implementatie van een semantisch netwerk voor beeldinterpretatie

Vangeel, Koen
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Studie en implementatie van een relatiebeheerder voor een lexicon

Peeters, Bruno
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1987

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Terminatie van logische programma's

Lemmens, Bart
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1992

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Koncept en implementatie van een grafische taal voor komputeranimatie

Vandenbrande, Marc
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Implemetnatie van een logische programmeertaal op een dataflow-architectuur

Hondt, Marleen De
Louvain, Katholieke Univ., Heverlee (Belgium). Departemetn Computerwetenchappen

January 1987

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een automatische methode om de eindigheid van logische programma's te bewijzen

Mertens, Koen
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1991

SIGLEKULeuven Cambiblliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgiu

Studie en implementatie van geheugen-compactie-algoritmes

Dequidt, Peter
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1992

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een nieuwe methode voor de meting van restspanningen in getextureerde deklagen

Buyser, Luc De
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Metaalkunde en Toegepaste Materiaalkunde

January 1993

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Transformatie van logische programma's: studie en implementatie van de lus absorptie methode

Abstract

Extracted data

Transformatie van logische programma's: studie en implementatie van de lus absorptie methode

Abstract

Extracted data

Related items

Related items