Logic Programming: Proceedings of the 1993 International...

Main
Computers - Computer Science
Logic Programming: Proceedings of the...

Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia

Name: Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia
ISBN: 9780262631525

Dale Miller (ed.)

0 / 0

0 comments

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

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

الفئات:

Computers - Computer Science

عام:

1993

الناشر:

The MIT Press

اللغة:

english

الصفحات:

711

ISBN 10:

0262631520