Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Ricardo Caferra | lit.salon

Author

Ricardo Caferra

4 works

2003–2011 across 4 dated works

No biography is available yet.

Start with

Automated Deduction in Classical and Non-Classical Logics Selected Papers2003
With Gernot Salzer
Automated Model Building (Applied Logic Series)2004
With Alexander Leitsch, Nicolas Peltier
Automated Model Building2010
Logic for Computer Science and Artificial Intelligence2011

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

Automated Model Building (Applied Logic Series)2004
With Alexander Leitsch, Nicolas Peltier
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Logic for Computer Science and Artificial Intelligence2011
5 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Model Building2010
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction in Classical and Non-Classical Logics Selected Papers2003
With Gernot Salzer
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Ricardo Caferra.

The conversation is still open.

There is no public salon activity to show for Ricardo Caferra yet.