MPG.eBooks - Search Results - "logic programming"

1

by Kuchen, Herbert
Published 2001

Springer-Verlag Berlin Heidelberg

2

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... for Proof-Carrying Code -- Parameterized Logic Programs where Computing Meets Learning -- Functional...”

3

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”

4

Published 1997

Springer Berlin Heidelberg

Table of Contents: “...Proof discovery in LK system by analogy -- Efficient induction of executable logic programs from...”