-
Refine your search:
-
Keyword
-
Creator / Publisher:
-
D'Avila Garcez, Artur S. (3)
-
Lamb, Luis C. (3)
-
Gabbay, Dov M. (2)
-
d'Avila Garcez, Artur (2)
-
Agrawal, Viaks (1)
-
Akman, Varol (1)
-
Baier, Jorge (1)
-
Ball, Linden J. (1)
-
Bekris, Kostas (1)
-
Besold, Tarek R. (1)
-
more
-
Year:
-
Medium:
-
Type
-
BLLDB-Access:
-
free (5)
-
subject to license (0)
|
Search in the Catalogues and Directories
|