Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings / Jasmin Christian Blanchette, Stephan Merz (eds.). by Series: Lecture notes in computer science ; 9807. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Switzerland : Springer, 2016
Other title:
  • ITP 2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 13385. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2022
Other title:
  • IJCAR 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha