Springer, 2013. — 423 p. — (Cognitive Technologies). — ISBN 978-3-642-37746-4. Дедуктивная электронная таблица В этой книге описываются недавние междисциплинарные исследования на стыке областей логического программирования, теории баз данных и взаимодействия человека с компьютером. Целью этих усилий было разработать основу дедуктивной электронной таблицы, приложения для...
Association for Computing Machinery and Morgan & Claypool Publishers, 2018. — 615 p. — (ACM Books, 20). — ISBN: 978-1-97000-199-0, 978-1-97000-196-9, ISBN: 978-1-97000-197-6, 978-1-97000-198-3. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by...
CRC Press, 2017. — 414 p. — ISBN: 978-1-4987-3528-5. Recursion is one of the most fundamental concepts in computer science and a key programming technique that allows computations to be carried out repeatedly. Despite the importance of recursion for algorithm design, most programming books do not cover the topic in detail, despite the fact that numerous computer programming...
Комментарии