Logic Programming
22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Sandro Etalle
Themen in »Logic Programming«
Compiler algorithms answer sets computational logics constraint programming logic logic inference logic programming optimization program analysis program logics programming language prol proving verification
Stimmen zu »Logic Programming«
Details
ISBN: 9783540366355
Verlag: Springer Berlin
Erscheinung: 03.08.2006