Logic Programming

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Bart Demoen

Themen in »Logic Programming«

Debugging Resolution computational logics constraint programming logic logic inference logic programming mathematical logic program logics programming language programming theory prolog programming proving semantics verification

Stimmen zu »Logic Programming«

Details

Link teilen