booktheque

Frontiers of combining systems 2

Dov M. Gabbay, Maarten de Rijke · 1999

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

About the book

"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.

Book details

Year
1999
Language
English
Publisher
Research Studies Press
Editions
1
Pages
407
ISBN
9780863802522

Data source: Wikidata

More by Dov M. Gabbay

Inductive Logic
Dov M. Gabbay · 2011
Philosophy of Statistics
Dov M. Gabbay · 2011
Mediaeval and renaissance logic
Dov M. Gabbay · 2008
Sets and Extensions in the Twentieth Century
Dov M. Gabbay · 2008
Handbook of the history of logic
Dov M. Gabbay · 2006
Handbook of Philosophical Logic, 2nd Edition
Dov M. Gabbay · 2005
Handbook of the history of logic
Dov M. Gabbay · 2004
The Rise of Modern Logic
Dov M. Gabbay · 2004
Handbook of philosophical logic
Dov M. Gabbay · 2001
Abductive Reasoning and Learning
Dov M. Gabbay · 2000