Ricardo Caferra – författare

Visar alla böcker från författaren Ricardo Caferra.

4 produkter

1. 

   Automated Model Building

   Av Ricardo Caferra, Alexander Leitsch m. fl.

   Inbunden, 2004

   2109 kr

   Lägg i varukorg

2. 

   Logic for Computer Science and Artificial Intelligence

   Av Ricardo Caferra

   Inbunden, 2011

   3349 kr

   Lägg i varukorg

3. 

   Automated Deduction in Classical and Non-Classical Logics

   Selected Papers

   Av Ricardo Caferra, Gernot Salzer

   Häftad, 2000

   729 kr

   Lägg i varukorg

4. 

   Automated Model Building

   Av Ricardo Caferra, Alexander Leitsch m. fl.

   Häftad, 2010

   2109 kr

   Lägg i varukorg