“Mr. Taxpayer versus Mr. Tax Spender: Taxpayers’ Associations, Pocketbook Politics, and the Law during the Great Depression (PDF/EPUB Version)” has been added to your cart. Continue shopping

“.NET 7 Design Patterns In-Depth (PDF/EPUB Version)” has been added to your cart. Continue shopping

“.NET Maui in Action (MEAP V08) (PDF/EPUB Version)” has been added to your cart. Continue shopping

“!Neon.Genesis. (PDF/EPUB Version)” has been added to your cart. Continue shopping

Click to enlarge

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (PDF/EPUB Version)

$19.99

Add to wishlist

Description

Description

Author: Zhe Hou
Series: Texts in Computer Science
Publisher: Springer
Year: 2022
Edition:
Language: English
ISSN:

Menu
Categories

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (PDF/EPUB Version)

Important: No Access Code

‘Als het ‘s nachts donker is’ (PDF/EPUB Version)

‘Make it According to Plan’: Workshop scenes in Egyptian tombs of the Old Kingdom (PDF/EPUB Version)

’Pataphysics Unrolled (PDF/EPUB Version)

“And You Shall Tell Your Son”: Identity and Belonging as Shaped by the Jewish Holidays (PDF/EPUB Version)

“Big Week” 1944: Operation Argument and the breaking of the Jagdwaffe (PDF/EPUB Version)

“I am Jugoslovenka!”: Feminist Performance Politics During and After Yugoslav Socialism (PDF/EPUB Version)

(C)hair Science (PDF/EPUB Version)

(Im)mobile Homes: Family Life at a Distance in the Age of Mobile Media (PDF/EPUB Version)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (PDF/EPUB Version)

Important: No Access Code

Related products