[ACM Press the 23rd Annual ACM Conference - Larnaca, Cyprus...

  • Main
  • [ACM Press the 23rd Annual ACM...

[ACM Press the 23rd Annual ACM Conference - Larnaca, Cyprus (2018.07.02-2018.07.04)] Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE 2018 - Introduction to Iltis: an interactive, web-based system for teaching logic

Geck, Gaetano, Ljulin, Artur, Peter, Sebastian, Schmidt, Jonas, Vehlken, Fabian, Zeume, Thomas
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2018
Language:
english
DOI:
10.1145/3197091.3197095
File:
PDF, 1.06 MB
english, 2018
Conversion to is in progress
Conversion to is failed