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 ...