Search for Author All Reviews
	Lin, Fangzhen     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       A formalization of programs in first-order logic with a discrete linear order Lin F. Artificial Intelligence 235(C): 1-25, 2016.  Type: Article Computer programs are language expressions of computations in terms of both the computer, as their computing agent, and behavior, as the computation they represent. Reasoning about computer programs is difficult because of the differen...... May 24 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy