登入選單
Google圖書搜尋
Towards a Real Time Garbage Collector for PROLOG
作者
E. Pittomvils / M. Bruynooghe / Y. D. Willems
出版1985
ISBN
OCLC:897684768
Improving Abstract Interpretations by Combining Do...
作者
M. Codish / A. Mulkers / M. Bruynooghe
出版1992
ISBN
OCLC:897918816
On the Existence of Non-terminating Queries for a ...
作者
D. De Schreye / M. Bruynooghe / K. Verschaetse
出版1989
ISBN
OCLC:897678481
Type Graph Unification
作者
M. Bruynooghe / W. Winsborough
出版1992
ISBN
OCLC:897918771
Towards Friendly Concept-learners
作者
L. De Raedt / M. Bruynooghe
出版1988
ISBN
OCLC:897678455
Towards More Efficiency of PROLOG on Conventional ...
作者
M. Bruynooghe / P. Weemeeuw
出版1986
ISBN
OCLC:897684878
Abstract Interpretation: Towards the Global Optimi...
作者
M. Bruynooghe / G. Janssens / A. Callebaut
出版1987
ISBN
OCLC:897699878
The Memory Management of PROLOG Implementations
作者
M. Bruynooghe
出版1980
ISBN
OCLC:257907983
Iterative Versionspaces
作者
G. Sablon / L. De Raedt / M. Bruynooghe
出版1994
ISBN
OCLC:897879665
A Theory of Clausal Discovery
作者
L. De Raedt / M. Bruynooghe
出版1992
ISBN
OCLC:897918596
Freeness Analysis in the Presence of Numerical Con...
作者
V. Dumortier / G. Janssens / M. Bruynooghe
出版1992
ISBN
OCLC:897925613
Features of Concept Learning: a Generic Algorithm
作者
L. De Raedt / M. Bruynooghe
出版1988
ISBN
OCLC:897683628
Some Pragmatics of Deriving Negative Information i...
作者
M. Bruynooghe
出版1984
ISBN
OCLC:897684796
A General Criterion for Avoiding Infinite Unfoldin...
作者
M. Bruynooghe / D. De Schreye
出版1991
ISBN
OCLC:897972089
Propagation: a New Operation in a Framework for Ab...
作者
M. Bruynooghe / G. Janssens
出版1992
ISBN
OCLC:897957478
Freeness, Sharing, Linearity and Correctness
作者
M. Bruynooghe / M. Codish
出版1993
ISBN
OCLC:897895125
Detection of Free Variables in the Presence of Num...
作者
V. Dumortier / G. Janssens / M. Bruynooghe
出版1992
ISBN
OCLC:897956782
On Abstracting the Procedural Behaviour of Logic P...
作者
G. Janssens / M. Bruynooghe
出版1990
ISBN
OCLC:897667986
Abstract Interpretation for (constraint) Logic Pro...
作者
M. Bruynooghe / D. Boulanger
出版1993
ISBN
OCLC:897887201
Live-structure Analysis for Logic Programming Lang...
作者
M. Bruynooghe / G. Janssens / A. Kagedal
出版1996
ISBN
OCLC:897848380
A Practical Multi Valued Logic to Reason about (in...
作者
L. De Raedt / M. Bruynooghe
出版1990
ISBN
OCLC:897667516
Abstracting Numerical Values in CLP(H,N)
作者
G. Janssens / M. Bruynooghe / V. Englebert
出版1994
ISBN
OCLC:897879718
An Application of Abstract Interpretation
作者
G. Janssens / M. Bruynooghe
出版1989
ISBN
OCLC:897678489
Global Analysis of Constraint Logic Programs
作者
M. García de la Banda / M. Hermenegildo / M. Bruynooghe
出版1995
ISBN
OCLC:897864077
A Live-structure Data-flw Analysis for Prolog: The...
作者
A. Mulkers / W. Winsbrough / M. Bruynooghe
出版1993
ISBN
OCLC:897916088
Intelligent Backtracking for an Interpreter of Hor...
作者
M. Bruynooghe
出版1978
ISBN
OCLC:897767012
Graph Coloring and Constraint Satisfaction
作者
M. Bruynooghe / Katholieke Universiteit Leuven. Departement Computerwetenschappen
出版1995
ISBN
OCLC:60241808
Compile Time Garbage Collection
作者
M. Bruynooghe
出版1986
ISBN
OCLC:897684836
A note on garbage collection in PROLOG interpreter...
作者
M. Bruynooghe
出版1982
ISBN
OCLC:257908464
Some Thoughts on the Role of Examples in Program T...
作者
M. Bruynooghe / D. De Schreye
出版1989
ISBN
OCLC:897678487