MPG.eBooks - Search Results - "logic programming"

1

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...-Logic Programming -- EasyCheck — Test Data for Free...”

2

Published 1994

Springer Berlin Heidelberg

Table of Contents: “...Concurrent constraint programming -- Specifications using multiple-conclusion logic programs...”

3

by Hermenegildo, Manuel
Published 1994

Springer

4

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation...”

5

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Logic Programs -- Finiteness Analysis in Polynomial Time -- Detecting Optimal Termination Conditions...”

6

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Hybrid Probabilistic Logic Programming Framework -- Safe Programming with Pointers Through Stateful Views...”