Search for Topics All Reviews
	Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Programming Languages And Software (I.2.5) > Itp (I.2.5...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-1 of 1 Reviews about "Itp (I.2.5...)": Date Reviewed   Lusk E., Overbeek R. Type: Article The system ITP (Interactive Theorem Prover) described here is a development of the resolution-based approach to mechanical theorem-proving popular in the previous decade. It is built with the tools of the Logic Machine Architecture [1]... May 1 1985
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy