Sorry,the image is not available

Wernhard C.:
Automated Deduction For Projection Elimination

Ios Press (Netherlands), 2009
Paperback, 296 pages
ISBN: 9781586039837
ISBN-10: 1586039830

Our price: £43.20
List price: £48.00
You save: 10%

Usually ships in 1-2 working days.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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.

Related links:

C. Wernhard
Artificial intelligence
Applications of computing
Computing and information technology
Ios Press

More information from Wikipedia:

C. Wernhard
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Christian spiritual & Church leaders

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |