Logic for computer sciencede Steve ReevesMateriasSymbolic and mathematical LogicLogic programmingFuzzy logicArtificial intelligenceAdaptive control systemsEdiciones (1)Logic for computer science (1990)Addison-Wesley · inglésMás obras de Steve ReevesBuilding the Classic PhysiqueAAn example of algorithm development in Intuitionistic Type TAn example of algorithm development in Intuitionistic Type TheoryIImplementation of a theorem-prover based on semantic tableauImplementation of a theorem-prover based on semantic tableaux
AAn example of algorithm development in Intuitionistic Type TAn example of algorithm development in Intuitionistic Type Theory
IImplementation of a theorem-prover based on semantic tableauImplementation of a theorem-prover based on semantic tableaux
