Ricardo Caferra - Böcker

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

4 produkter

Kategorier

4 produkter

Automated Model Building

AvRicardo Caferra,Alexander Leitsch m. fl.

Inbunden, Engelska, 2004

2 029 kr

Skickas inom 10-15 vardagar

Logic for Computer Science and Artificial Intelligence

AvRicardo Caferra,France) Caferra, Ricardo (Grenoble INP

Inbunden, Engelska, 2011

3 059 kr

Skickas inom 10-15 vardagar

Automated Deduction in Classical and Non-Classical Logics

Selected Papers

AvRicardo Caferra,Gernot Salzer

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar

Del 31

Del 31 - Applied Logic Series

Automated Model Building

AvRicardo Caferra,Alexander Leitsch m. fl.

Häftad, Engelska, 2010

2 029 kr

Skickas inom 10-15 vardagar