Allan M. Ramsay – författare

Visar alla böcker från författaren Allan M. Ramsay. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Formal Methods in Artificial Intelligence

   Av Allan M. Ramsay, C. J. Van Rijsbergen m. fl.

   Häftad, 1991

   737 kr

   Lägg i varukorg

   Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection …