The Calculus of Computation
ny

The Calculus of Computation

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software....
fra 819,-
Tilgjengelig i 1 butikker
Frakt og levering

Produktinformasjon

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

Spesifikasjon

Produkt
ProduktnavnThe Calculus of Computation
MerkeOther Brand

Pris og prishistorikk

Akkurat nå er 819,- den billigste prisen for The Calculus of Computation blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste data og informasjonsteknologi for å være sikker på at du gjør det beste kjøpet.

Intelligent Distributed Computing XIIIUncertainty and Imprecision in Decision Making and Decision Support: New Challenges Solutions and PCracking the Data Engineering InterviewAdvances in the Theory of Probabilistic and Fuzzy Data Scientific Methods with Applications
Beginning Ubuntu LinuxGoing CorporateInformation Management and Machine IntelligenceComputational Principles of Mobile Robotics
Intelligent Computer Graphics 2009Federated Learning SystemsSQLScript for SAP HANAiPad 2 Made Simple
Marketing and Smart TechnologiesModern Approaches in Machine Learning and Cognitive Science: A WalkthroughTrends and Applications in Information Systems and TechnologiesDecision Making under Constraints
Natural Language Processing Fundamentals for DevelopersExcel BasicsSmart Device RecognitionMobile Service Computing