Automated Reasoning Series

Visar alla böcker i serien Automated Reasoning Series. Handla med fri frakt och snabb leverans.

1. 

   Automated Reasoning

   Del 1 · Robert Stephen Boyer · 2012

   • Häftad 1111 kr
2. 

   Automated Development of Fundamental Mathematical Theories

   Del 2 · Art Quaife · 1992

   • Inbunden 2436 kr
3. 

   Piton

   Del 3 · J Strother Moore · 2013

   • Häftad 559 kr
4. 

   Resolution Proof Systems

   Del 4 · Z. Stachniak · 1996

   • Inbunden 1140 kr
   • Häftad 1111 kr