Ricardo Caferra – författare

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

4 produkter

Kategorier

4 produkter

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building, Inbunden

Automated Model Building

AvRicardo Caferra,Alexander Leitschm. fl.

Inbunden, Engelska, 2004

2 099 kr

Skickas inom 10-15 vardagar

Ricardo Caferra - Logic for Computer Science and Artificial Intelligence, Inbunden

Logic for Computer Science and Artificial Intelligence

AvRicardo Caferra

Inbunden, Engelska, 2011

3 259 kr

Skickas inom 5-8 vardagar

Ricardo Caferra, Gernot Salzer - Automated Deduction in Classical and Non-Classical Logics, Häftad

Automated Deduction in Classical and Non-Classical Logics

Selected Papers

AvRicardo Caferra,Gernot Salzer

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Del 31

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building, Häftad

Del 31 - Applied Logic Series

Automated Model Building

AvRicardo Caferra,Alexander Leitschm. fl.

Häftad, Engelska, 2010

2 099 kr

Skickas inom 10-15 vardagar