Related Books
Language: en
Pages: 226
Pages: 226
Type: BOOK - Published: 1993-05-20 - Publisher: World Scientific
This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora co
Language: en
Pages: 266
Pages: 266
Type: BOOK - Published: 1990 - Publisher: IOS Press
Language: en
Pages: 450
Pages: 450
Type: BOOK - Published: 1994-09-17 - Publisher: World Scientific
These proceedings are devoted to communicating significant developments in all areas pertinent to Parallel Symbolic Computation.The scope includes algorithms, l
Language: en
Pages: 352
Pages: 352
Type: BOOK - Published: 1993 - Publisher: World Scientific
This book presents the first attempt to combine concurrent logic programming and constraint logic programing. It is divided into three parts. In the first part,
Language: en
Pages: 257
Pages: 257
Type: BOOK - Published: 1998-08-22 - Publisher: World Scientific
Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, inc