
Logic Programming
Proceedings of the 1990 North American Conference
OCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASOCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASTheory and Foundations. Metaprogramming. Constraints. Implementations, Architecture. Deductive Databases. Language Issues. Relation to Other Paradigms. Parallelism, Concurrency. Compilation Techniques. Applications.
- ISBN 10 : UOM:39015015408076
- Judul : Logic Programming
- Sub Judul : Proceedings of the 1990 North American Conference
- Pengarang : Saumya Debray, Manuel Hermenegildo,
- Kategori : Computers
- Penerbit : MIT Press
- Bahasa : en
- Tahun : 1990
- Halaman : 848
- Google Book : http://books.google.co.id/books?id=y8wmAAAAMAAJ&dq=intitle:Logic+and+Legal+Reasoning&hl=&source=gbs_api
-
Ketersediaan :
Several researchers have investigated the properties of these " embedded implications ” [ 11 , 10 , 14 , 15 , 17 , 2 ) , and have shown them to be useful for hypothetical reasoning ( 3 ) , for legal reasoning ( 16 ) , for modular logic ...