Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel hol » parallel half, parallel hpc, parallel co
hol program » whole program, school program, modul program
1
Cover Image
Published 2006
Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2013
Table of Contents: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2015
Table of Contents: “... Decompilation in HOL4 -- A Formalized Hierarchy of Probabilistic System Types -- Learning To Parse on Aligned...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2014
Table of Contents: “... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2010
Table of Contents: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search