Search alternatives:
learning computer » andlearning computer, learning chapter, planning computer
computer program » computer programs
clause learning » classes learning, caused learning, class learning
open clause » open class, given clause, open culture
learning computer » andlearning computer, learning chapter, planning computer
computer program » computer programs
clause learning » classes learning, caused learning, class learning
open clause » open class, given clause, open culture
1
by Platzer, AndreĢ.
Published 2021
Format:
Published 2021
Table of Contents: “... in Transitive (Co)closure Logic -- 4.2 Applications in Automated Proof Search -- 4.2.1 Program Equivalence...”
Click to View
