Cover of Completeness, confluence, and related properties of clause graph resolution

Mark as

Completeness, confluence, and related properties of clause graph resolution

by Norbert Eisinger

Buy this book Review

See on goodreads

More by Norbert Eisinger

Cover of Design Patterns für mathematische Beweise

Cover of Reasoning web

Cover of Studien- und Forschungsführer Künstliche Intelligenz

Cover of Studien- und Forschungsführer Künstliche Intelligenz

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment