Amanote Research
Register
Sign In
Deduction and Computation
doi 10.1007/978-3-642-87374-4_12
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1987
Authors
Gérard Huet
Publisher
Springer Berlin Heidelberg
Related search
Marketing and Logical Deduction
Journal of Marketing
Marketing
Economics
International Management
Business
Econometrics
Salary: Accrual and Deduction
Parsing as Deduction
Research Perspectives for Logic and Deduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Bottom-Up Earley Deduction
RFID Based Toll Deduction System
International Journal of Information Technology and Computer Science
Early History and Perspectives of Automated Deduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Perception-Based Logical Deduction and Its Variants
