Domain Theory, Logic and Computation (Semantics Structures in Computation)
Contributors: Guo-Qiang Zhang (Editor); J. Lawson (Editor); Ying Ming Liu (Editor); M.K. Luo (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 31, 2004
Language: eng
Format: Hardcover
Number of pages: 208
ISBN-13: 9781402018329
Subjects: Computer Programming; Mathematical logic; Mathematical theory of computation; Science/Mathematics; Logic; Algebra - General; Technology; Philosophy; Programming languages (Electronic computers); Programming languages (Electro; Programming Languages - General; Philosophy / Logic; Semantics; Electronics - Circuits - Logic; Congresses
First sentence: We first make some preparations.