1
Pubblicazione 2005
Sommario: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Testo
Elettronico eBook
2
Pubblicazione 2015
Sommario: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Testo
Elettronico eBook