Title The demonstration proof editor : Demo 2 / Tong Gao Tang, Peter J Robinson, John Staples

Published Queensland : University Of Queensland, 1990

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.3 Tan/Dpe		AVAILABLE

Description 31 pages : 30 cm Series Technical report (University of Queensland. Dept. of Computer Science) ; no.175 Technical report (University of Queensland. Key Centre for Software Technology) ; no.175 Bibliography Includes bibliographical references (page 31) Subject Prolog (Computer program language) Author Robinson, Peter J. Staples, John. University of Queensland. Key Centre for Software Technology

  Permalink