Author(s): Banerjee Bohua., Seth A. (eds.)
Series: Springer Lecture notes in artificial intelligence 6521
Publisher: Springer
Year: 2011
Language: English
Pages: 231
City: Berlin
Tags: DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN);MATHEMATISCHE LOGIK;DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS);PROGRAMMATION DÉCLARATIVE + PROGRAMMATION LOGIQUE (MÉTHODES DE PROGRAMMATION);MATHEMATICAL LOGIC;LOGIQUE MATHÉMATIQUE