Logic Programming

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Philippe Codognet

Themen in »Logic Programming«

Computational Logic Constraint Logic Programming Database Logic Deduction Formal Verification Linear Logic Logic Programming Mathematical Logic Program Semanticss Programming Logics Prolog Programming Tabled Logic Programming logic programming

Stimmen zu »Logic Programming«

Details

Link teilen