Calculus CL as a Formal System.

Jens Lemanski Ludger Jansen

Published in: Diagrams (2020)

Keyphrases

formal language
formal model
computer algebra
website
multiscale
automated deduction
search engine
computer vision
knowledge base
clustering algorithm
formal specification
formal models