Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings / Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.). by Series: Lecture notes in computer science ; 6803. | 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
Publication details: Heidelberg ; New York : Springer, ©2011
Other title:
  • CADE-23
  • CADE-twenty-three
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings / Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.). by Series: Lecture notes in computer science ; 6989. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I / Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.). by Series: Lecture notes in computer science ; 12166. | 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
Publication details: Cham : Springer, 2020
Other title:
  • IJCAR 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II / Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.). by Series: Lecture notes in computer science ; 12167. | 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
Publication details: Cham : Springer, 2020
Other title:
  • IJCAR 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha