Search alternatives:
application programs » application program, application programme, application problems
programs development » program development, programmes development, programme development
development horn » development how, development hard, development hox
horn program » loan program, chain program, main program
application programs » application program, application programme, application problems
programs development » program development, programmes development, programme development
development horn » development how, development hard, development hox
horn program » loan program, chain program, main program
1
by Pientka, Brigitte.
Published 2023
Format:
Published 2023
Table of Contents: “...- and Higher-Order Provers -- 6.5 Constrained Horn Clauses -- 7 Summary -- References -- Verified Given Clause...”
Click to View
