Ricardo Caferra - Böcker

Visar alla böcker från författaren Ricardo Caferra.
4 produkter
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building, Inbunden
Del 31 - Applied Logic Series

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Inbunden, Engelska, 2004

2 109 kr

Skickas inom 7-10 vardagar
Ricardo Caferra, France) Caferra, Ricardo (Grenoble INP - Logic for Computer Science and Artificial Intelligence, Inbunden

Logic for Computer Science and Artificial Intelligence

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

Inbunden, Engelska, 2011

3 369 kr

Skickas torsdag 9/10
Ricardo Caferra, Gernot Salzer - Automated Deduction in Classical and Non-Classical Logics, Häftad

Automated Deduction in Classical and Non-Classical Logics

Av Ricardo Caferra, Gernot Salzer

Häftad, Engelska, 2000

739 kr

Skickas inom 7-10 vardagar
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building, Häftad

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Häftad, Engelska, 2010

2 109 kr

Skickas inom 7-10 vardagar