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 model building

Cover is for reference only
Main Authors: Caferra Ricardo
Group Author: Leitsch Alexander 1952-; Peltier Nicholas
Published: Kluwer Academic,
Publication Dates: c2004.
Call Number: O141.2/C129
Book
Save to List
Saved in:
4
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 —