Stockhub

automated reasoning English (Q2555318)

Item Discussion
subfield of computer science and logic English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    Freebase ID
    /m/0891w9
    1 reference
    stated in
    Q15241312 (Deleted Item)
    publication date
    28 October 2013
    Quora topic ID
    Automated-Reasoning
    1 reference
    stated in
    Q51711 (Deleted Item)
    Microsoft Academic ID
    195344581
    0 references
    Encyclopedia of China ID (Second Edition) English
    248978
    0 references
    GitHub topic English
    automated-reasoning
    1 reference
    reference URL
    https://github.com/topics/automated-reasoning
    title
    automated-reasoning · GitHub Topics (English)
    retrieved
    19 August 2021
    instance of
    branch of science English
    0 references
    part of
    logic
    0 references
     
    Retrieved from ‘https://stockhub.co/index.php?title=Item:Q2555318&oldid=1612895’