Sciweavers

4 search results - page 1 / 1

» jflp 2000

22

Voted

JFLP
2000

44views more JFLP 2000»

A Game-based Architecture for Developing Interactive Components in Computational Logic

14 years 10 months ago

A Game-based Architecture for Developing Interactive Components in Computational Logic

Download scholar.lib.vt.edu

Kostas Stathis

claim paper

Read More »

19

Voted

JFLP
2000

36views more JFLP 2000»

Composing Complete and Partial Knowledge

14 years 10 months ago

Composing Complete and Partial Knowledge

Download scholar.lib.vt.edu

Sofie Verbaeten, Annalisa Bossi

claim paper

Read More »

17

Voted

JFLP
2000

30views more JFLP 2000»

Metatheoretic Results for a Modal lambda-Calculus

14 years 10 months ago

Metatheoretic Results for a Modal lambda-Calculus

Download hal.archives-ouvertes.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

24

Voted

JFLP
2000

30views more JFLP 2000»

Stepwise Enhancement and Higher-Order Programming in Prolog

14 years 10 months ago

Stepwise Enhancement and Higher-Order Programming in Prolog

Download scholar.lib.vt.edu

Lee Naish, Leon Sterling

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »