Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Verónica Dahl
Themen in »Logic Programming«
Fuzzy algorithm algorithms answer sets deduction formal verification inductive logic programming knowledge base logic programming mathematical logic program analysis programming semantic web semantics verification
Stimmen zu »Logic Programming«
Details
ISBN: 9783540746102
Verlag: Springer Berlin
Erscheinung: 24.08.2007