Horn logic, search and satisfiability
Subtitle: a collection of papers in memory of Robert G. Jeroslow.
Contributors: Jeroslow, Robert G., 1942-.
Series: Annals of mathematics and artificial intelligence -- v. 1, no. 1/4
Publisher: J.C. Baltzer
Published: 1990
Place of publication: Basel, Switzerland
Language: eng
Number of pages: 372
Subjects: Jeroslow, Robert G., -- 1942-; Decision support systems.; Decision making -- Mathematical models.; Logic, Symbolic and mathematical.; Programming (Mathematics); Artificial intelligence.
Notes: Includes bibliographic references.