Amanote Research
Register
Sign In
Special Relations in Automated Deduction
doi 10.1007/bfb0015767
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Zohar Manna
Richard Waldinger
Publisher
Springer-Verlag
Related search
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Early History and Perspectives of Automated Deduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Some Relations Between Natural Deduction and Sequent Calculus
Deduction and Computation
Natural Deduction in a Paracomplete Setting
Logical Investigations
Parsing as Deduction
Maximal Incrementality in Linear Categorial Deduction
Marketing and Logical Deduction
Journal of Marketing
Marketing
Economics
International Management
Business
Econometrics
Salary: Accrual and Deduction
