Your search returned 150 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
141.
Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings / Revantha Ramanayake, Josef Urban, editors. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 14278. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2023
Other title:
  • TABLEAUX 2023
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
142.
Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / Brigitte Pientka, Cesare Tinelli, editors. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 14132. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2023
Other title:
  • CADE 29
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
143.
144.
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
145.
Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies. by Series: NATO science series. Series III, Computer and systems sciences ; ; v. 200.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Washington, DC : IOS Press, ©2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
146.
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / Michael Kohlhase (ed.). by Series: Lecture notes in computer science ; 3863. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11618027
Publisher: Berlin ; New York : Springer, ©2006
Other title:
  • MKM 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
147.
148.
Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. Part II / Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editors. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 14740. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2024
Other title:
  • IJCAR 2024
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
149.
150.
Pages

Powered by Koha