Term Rewriting and Applications

View on Open Library

Term Rewriting and Applications

by Franz Baader

No reviews yet

First published: 2007 1 language ISBN: 9783540734499

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Franz Baader

The description logic handbook

The description logic handbook

Fermenta Cognitionis

Fermenta Cognitionis

Introduction to Description Logic

Introduction to Description Logic

The description logic handbook

The description logic handbook

Automated Deduction - CADE-19

Automated Deduction - CADE-19

Term Rewriting & All That

Term Rewriting & All That