Wernhard C.:
Automated Deduction For Projection Elimination
Ios Press (Netherlands), 2009
Paperback, 296 pages
ISBN: 9781586039837
ISBN-10: 1586039830
List price: £48.00
You save: 10%
Automated Deduction For Projection Elimination
Projection is a logic operation which allows to express tasks in knowledge representation. These tasks involve extraction or removal of knowledge concerning a given sub-vocabulary. This title presents a semantic characterization of projection for 1st-order logic on which basis, properties underlying applications and processing methods are derived.
