Hybrid parallel execution model for logic-based specification languages [electronic resource] / Jeffrey J.P. Tsai, Bing Li.
Series: Series on software engineering and knowledge engineering ; v. 10.Publication details: Singapore ; New Jersey : World Scientific, c2001.Description: xii, 214 p. : illISBN:- 9789810240967
- 9810240961
- TK7885.7 .T72 2001eb

Includes bibliographical references and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.