Logic Programming

Beschreibung

Autor*in

Maurizio Gabbrielli

Themen in »Logic Programming«

agent-oriented logic programming algorithm algorithms computational logics constraint logic programming deduction formal verification inductive logic programming logic programming mathematical logic model checking modeling ontology programming language semantics

Stimmen zu »Logic Programming«

Details

Link teilen