Mechanizing Mathematical Reasoning: Essays in Honor of J?rg H. Siekmann on the O
138,43 €
A Portrait of a Scientist: Logic, AI and Politics. - A Portrait of a Scientist: Logic, AI and Politics. - Logic and Deduction. - Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.
Jetzt bei Ebay:
