Author Results for Caferra, Ricardo, 1945

Caferra,Ricardo
Caferra, Ricardo,,1945-
Ricardo Caferra
Ricardo Caferra, Gernot Salzer (eds.)
Salzer,Gernot

2
Logic for computer science and artificial intelligence

Cover is for reference only
Main Authors: Caferra Ricardo 1945-
Published: ISTE Wiley,
Publication Dates: 2011.
Call Number: TP18/C129
Book
Save to List
Saved in:
3
Automated deduction in classical and non-classical logics selected papers

Cover is for reference only
Group Author: Salzer Gernot 1963-; Caferra Ricardo 1945-
Published: Springer,
Publication Dates: c2000.
Call Number: TP181/A939
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —