Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)

Materias

• Computer programming

Ediciones (1)

• Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science) (2006)

  Cambridge University Press · inglés · ISBN 9780521032513

Más obras de Peter Padawitz

Computing in Horn clause theories