Cover Image
Read Now

51
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... logical formulae -- Temporal logic programming language Tokio programming in Tokio -- Implementation...”
Cover Image
Read Now

52
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Learning Efficiency -- Efficient Data Structures for Inductive Logic Programming -- Graph Kernels...”
Cover Image
Read Now

53
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Logic programming with sequent systems -- Predicates as parameters in logic programming -- A survey...”
Cover Image
Read Now

54
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... in extended logic programming languages -- Terminological reasoning and partial inductive definitions -- GCLA...”
Cover Image
Read Now

55
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... inheritance network -- Logic programming debugger using control flow specification -- ALEX: The logic...”
Cover Image
Read Now

56
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Theory and practice in logic programming -- Constraint Logic Programming -- Scheduling...”
Cover Image
Read Now

57
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... implementations of algebraic specifications -- Multi-modal logic programming using equational and order-sorted...”
Cover Image
Read Now

58
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Semantics and Types in Functional Logic Programming -- Polytypic Programming With Ease -- Type...”
Cover Image
Read Now

59
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming...”
Cover Image
Read Now

60
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Programming in a Meta-logical Framework -- Refereed Papers Logic and Functional-Logic Programming -- Online...”