価格: ¥14,374 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
NO PANIC DIGITAL SAT [2025 Edition]: Achieve a 1550+ Score Effortlessly with the Target Method. Includes Video Tutorials, Secret Tactics, and Tips to Unlock Your Academic Career [98% Success Rate]
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive ... (Trends in Logic Book 53) (English Edition)