Frontiers of combining systems 2
Book

Frontiers of combining systems 2

1999
Symbolic and mathematical LogicCongressesComputer science

"Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. This volume addresses both particular instances of the combination and integration problem and the general issue. While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--BOOK JACKET.

Sign in to add this book to your list.

What critics are saying

Verdicts use the same scale as your list: highly recommended through avoid — plus optional scores and blurbs.

Highly recommended Recommend Give it a go Neutral Avoid

Nobody on Critic, Sir! has logged a verdict for this title yet. The silence is either respectful or suspicious.

Sign in and use Add to My List below to share your own verdict.

Reading Lists

Sign in to create and edit public lists.

Loading lists…

Purchase & Discovery

Find this title on Amazon

Digital

Kindle Books & digital

Searches Amazon Kindle Books for the title.

As an Amazon Associate, Critic, Sir! earns from qualifying purchases. Full disclosure