Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / Amy P. Felty, Aart Middeldorp (Eds.). by Series: Lecture notes in computer science ; 9195. | Lecture notes in computer science. Lecture notes in artificial intelligence | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2015]Copyright date: ©2015
Other title:
  • CADE-25
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Intelligent virtual agents : 15th International Conference, IVA 2015, Delft, the Netherlands, August 26-28, 2015 : proceedings / Willem-Paul Brinkman, Joost Broekens, Dirk Heylen (Eds.). by Series: Lecture notes in computer science ; 9238. | Lecture notes in computer science. Lecture notes in artificial intelligence | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2015]Copyright date: ©2015
Other title:
  • IVA 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha