Logic programming: Proceedings of the 1994 Internationa Symposium
Maurice Bruynooghe (ed.)
November 13-17, 1994, Ithaca, New York
The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis.
Logic Programming series, Research Reports and Notes
The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis.
Logic Programming series, Research Reports and Notes
درجه (قاطیغوری(:
کال:
1994
خپرندویه اداره:
The MIT Press
ژبه:
english
صفحه:
715
ISBN 10:
3884572318
ISBN 13:
9783884572313
فایل:
DJVU, 7.79 MB
IPFS:
,
english, 1994