scientific article; zbMATH DE number 1961549
From MaRDI portal
Publication:4418136
zbMath1034.68120MaRDI QIDQ4418136
Hans Cuypers, Hans Sterk, Arjeh M. Cohen, Ernesto Reinaldo Barreiro
Publication date: 7 August 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computing methodologies and applications (68U99)
Related Items (4)
Specifying rewrite strategies for interactive exercises ⋮ Recognizing Strategies ⋮ Interleaving Strategies ⋮ Canonical Forms in Interactive Exercise Assistants
Uses Software
This page was built for publication:
