Clicky

Design Patterns für mathematische Beweise by Hans Jürgen Ohlbach and similar books you'll love - Bookscovery

Home > Authors > Hans Jürgen Ohlbach > Design Patterns für mathematische Beweise

Buy at: Bookshop.org Amazon

Design Patterns für mathematische Beweise

Hans Jürgen Ohlbach, Norbert Eisinger

Recent activity

Rate this book to see your activity here.

4 Books Similar to Design Patterns für mathematische Beweise by Hans Jürgen Ohlbach

Bookscovery readers who liked Design Patterns für mathematische Beweise also like Completeness, confluence, and related properties of clause graph resolution, Reasoning web and Studien- und Forschungsführer Künstliche Intelligenz. How many of these have you read?

Completeness, confluence, and related properties of clause graph resolution by Norbert Eisinger

Cover of Completeness, confluence, and related properties of clause graph resolution
Buy this book at:
Bookshop.org Amazon

Reasoning web by Norbert Eisinger

Cover of Reasoning web
Buy this book at:
Bookshop.org Amazon

Studien- und Forschungsführer Künstliche Intelligenz by W. Bibel

Cover of Studien- und Forschungsführer Künstliche Intelligenz
Buy this book at:
Bookshop.org Amazon

Studien- und Forschungsführer Künstliche Intelligenz by W. Bibel

Cover of Studien- und Forschungsführer Künstliche Intelligenz
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Design Patterns für mathematische Beweise

Please sign in to leave a comment