Logic Programming

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Catuscia Palamidessi

Themen in »Logic Programming«

complexity computational logic constraint logic deduction distributed systems logic logic inference logic programming mathematical logic program semantics programming prolog programming semantic web semantics verification

Stimmen zu »Logic Programming«

Details

Link teilen