Computer-Aided Reasoning: ACL2 Case Studies | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Computer-Aided Reasoning: ACL2 Case Studies
  • #
  • #

Computer-Aided Reasoning: ACL2 Case Studies

213.99 EUR 197.54 EUR 8% Off

Teilen:
Gesponsert

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)

Medimops DE
197.54 EUR
07-06-2026 22:18:15
Gesponsert

Computer-Aided Reasoning

SpringerLink DE
213.99 EUR
08-06-2026 10:53:44

Ähnliche Produkte

Computer-Aided Reasoning

Computer-Aided Reasoning

185.98 EUR
Computers in Building

Computers in Building

148.64 EUR
CALM: Computer Aided Leadership & Management: How Computers Can Unleash the Full Potential of Individuals and Organizations in A World of Chaos and Confusion

CALM: Computer Aided Leadership & Management: How Computers Can Unleash the Full Potential of Individuals and Organizations in A World of Chaos and Confusion

18.30 EUR
Emergent Probability, Computers and Insight as Information: Lonergan's Emergent Probability, computer Aided Insights, and Their implementation on Development in African History

Emergent Probability, Computers and Insight as Information: Lonergan's Emergent Probability, computer Aided Insights, and Their implementation on Development in African History

79.00 EUR
Computer-Aided Reasoning

Computer-Aided Reasoning

209.00 EUR
Computer-Aided Reasoning

Computer-Aided Reasoning

160.49 EUR