Freek Wiediejk, Jacques Carette,
"Programming Languages for Mechanized Mathematics Workshop"
, Serie RISC Report Series, Nummer 07-10, RISC, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria, 6-2007
Original Titel:
Programming Languages for Mechanized Mathematics Workshop
Sprache des Titels:
Englisch
Veröffentlicher:
RISC
Verlagsanschrift:
University of Linz, Altenbergerstraße 69, 4040 Linz, Austria