Contacto
Como comprar
Entrega
Guia de compras
Extensions of Logic Programming
4th International Workshop, ELP '93, St. Andrews, U. K., March 29 - April 1, 1993. Proceedings
Inglês
111 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
10.00
€
The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.
Sobre o livro
Inglês
Categorias
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
32.66
€
/
Capa mole
16.48
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?