𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Subject index — volume 38 (1999)


Book ID
104344519
Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
56 KB
Volume
38
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

✦ Synopsis


interpretation, (3) 371 And-parallelism, (2) 165 Answer sets, (2) 219 Automatic parallelization, (2) 165 Blackboard-based logic programming, (3) 331 Bottom-up evaluation, (3) 355 CGI programming distributed object brokerage, (3) 331 Client-server applications in Prolog, (3) 331 Conditional dependency graphs, (2) 165 Constraint logic programming extensions, (1) 93 Constraints, (3) 295 Constructive negation, (3) 295 Control through speech, (3) 331 Correctness, (3) 259 Discrimination nets, (1) 31 Disjunctive constraints, (1) 93 Disjunctive programs, (2) 219 Embedded logic engines, (3) 331 Equilibrium logic, (1) 79 Extremal problems, (2) 219 Finite sets, (1) 55 Freeness axioms, (1) 55 Herbrand structure, (1) 55


📜 SIMILAR VOLUMES


Volume 38 Subject Index
📂 Article 📅 2007 🏛 Decision Sciences Institute, Georgia State Univers 🌐 English ⚖ 23 KB