Logic programming: proceedings of the 1991 international symposium
Vijay A. Saraswat, Kazunori Ueda (ed.)
October 28-31, 1991, San Diego, California
Previously called The North American Conference, the 1991 International Symposium complements the International Conference on Logic Programming held annually in June. Both are sponsored by the Association for Logic Programming.
Topics covered: Foundations. Languages and Programming. Implementation. Reasoning about Programs. Applications. Logic Databases
Previously called The North American Conference, the 1991 International Symposium complements the International Conference on Logic Programming held annually in June. Both are sponsored by the Association for Logic Programming.
Topics covered: Foundations. Languages and Programming. Implementation. Reasoning about Programs. Applications. Logic Databases
Категории:
Год:
1991
Издательство:
The MIT Press
Язык:
english
Страницы:
762
ISBN 10:
0999482351
ISBN 13:
9780999482353
Файл:
DJVU, 7.69 MB
IPFS:
,
english, 1991
Amazon 
Barnes & Noble 
Bookshop.org
Хотите добавить книжный магазин? Свяжитесь с нами по support@z-lib.do
Конвертируйте файлы
Больше результатов поиска
Другие преимущества 
![Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/4f7bed0f6a85fb5403e8d5e44ebd7c5fb891fac93312b8cce2139e9870ce761b.jpg)
