Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia
Dale Miller (ed.)
The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by broadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science.
Topics include: Algorithmic Analysis. Constraints. Environmental Support. Natural Language. Programming Methodologies. Artificial Intelligence. Concurrency and Parallelism. Logical Extensions. Meta and Higher-Order Programming. Semantic Analysis. Compilation Techniques. Deductive Databases. Implementations and Architectures. Proof Theory. Programming Language Design
Topics include: Algorithmic Analysis. Constraints. Environmental Support. Natural Language. Programming Methodologies. Artificial Intelligence. Concurrency and Parallelism. Logical Extensions. Meta and Higher-Order Programming. Semantic Analysis. Compilation Techniques. Deductive Databases. Implementations and Architectures. Proof Theory. Programming Language Design
Categorias:
Ano:
1993
Editora:
The MIT Press
Idioma:
english
Páginas:
711
ISBN 10:
0262631520
ISBN 13:
9780262631525
Arquivo:
DJVU, 7.54 MB
IPFS:
,
english, 1993
Amazon 
Barnes & Noble 
Bookshop.org
Quer adicionar a sua livraria? Entre em contato conosco em support@z-lib.do
Converter ficheiros 
Mais resultados de pesquisa
Outros benefícios 
![Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/4f7bed0f6a85fb5403e8d5e44ebd7c5fb891fac93312b8cce2139e9870ce761b.jpg)
