R. E. Shostak – författare

Visar alla böcker från författaren R. E. Shostak. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   7th International Conference on Automated Deduction

   Proceedings

   Av R. E. Shostak

   E-bok, 2011

   1459 kr

   Lägg i varukorg

   The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge …

2. 

   7th International Conference on Automated Deduction

   Proceedings

   Av R. E. Shostak

   Häftad, 1984

   1126 kr

   Lägg i varukorg

   The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge …