Ricardo Caferra - Böcker

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

4 produkter

Kategorier

4 produkter

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch m. fl

Inbunden, Engelska, 2004

2 039 kr

Skickas inom 10-15 vardagar

Logic for Computer Science and Artificial Intelligence

Av Ricardo Caferra, France) Caferra, Ricardo (Grenoble INP

Inbunden, Engelska, 2011

3 119 kr

Skickas inom 10-15 vardagar

Automated Deduction in Classical and Non-Classical Logics

Selected Papers

Av Ricardo Caferra, Gernot Salzer

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch m. fl

Häftad, Engelska, 2010

2 039 kr

Skickas inom 10-15 vardagar