Cover of Design Patterns für mathematische Beweise

Mark as

Design Patterns für mathematische Beweise

by Hans Jürgen Ohlbach

Buy this book Review

More by Hans Jürgen Ohlbach

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

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