Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers / Herman Geuvers, Freek Wiedijk, eds. by Series: Lecture notes in computer science ; 2646.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Hong Kong : Springer, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10383. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Other title:
  • CICM 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Pages

Powered by Koha