Cover of Goal-directed proof theory

Mark as

Goal-directed proof theory

by D.M. Gabbay

Buy this book
Add to a list
Review

See on goodreads | librarything

More by D.M. Gabbay

Compiled labelled deductive systems

by Alessandra Russo

Cover of Compiled labelled deductive systems
Review
Buy this book More books like Compiled labelled deductive systems

Handbook of logic in artificial intelligence and logic programming

by J. A. Robinson

Cover of Handbook of logic in artificial intelligence and logic programming
Review
Buy this book More books like Handbook of logic in artificial intelligence and logic programming

Logiḳah daʼoniṭit le-or ha-Talmud

by Michael Abraham

Cover of Logiḳah daʼoniṭit le-or ha-Talmud
Review
Buy this book More books like Logiḳah daʼoniṭit le-or ha-Talmud

Neural-symbolic learning systems

by Artur S. D'Avila Garcez

Cover of Neural-symbolic learning systems
Review
Buy this book More books like Neural-symbolic learning systems

Trends in belief revision and argumentation dynamics

by Eduardo L. Fermé

Cover of Trends in belief revision and argumentation dynamics
Review
Buy this book More books like Trends in belief revision and argumentation dynamics

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment