Stockhub

Conference on Automated Deduction English (Q5159939)

Item Discussion
conference series on automated theorem proving English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    instance of
    Q47258130 (Deleted Item)
    0 references
    DBLP venue ID English
    conf/cade
    0 references
    main subject
    Q431667 (Deleted Item)
    0 references
    short name
    CADE (English)
    0 references
    WikiCFP conference series ID
    341
    applies to name of item English
    CADE (English)
    0 references
    Freebase ID
    /m/07g2vn
    0 references
    Microsoft Academic ID
    1134440762
    1 reference
    stated in
    Q28136779 (Deleted Item)
    Microsoft Academic ID
    1134440762
    retrieved
    13 February 2021
    title
    Conference on Automated Deduction (English)
    1 reference
    stated in
    Digital Bibliography & Library Project
    reference URL
    https://dblp.org/db/conf/cade/
    retrieved
    13 February 2021
    VIAF ID
    152442227
    1 reference
    stated in
    Q54919 (Deleted Item)
    VIAF ID
    152442227
    retrieved
    2 March 2021
    GND identifier
    125954-4
    named as
    Conference on Automated Deduction
    1 reference
    retrieved
    12 November 2022
    Library of Congress authority ID
    n80082907
    1 reference
    stated in
    Q36578 (Deleted Item)
    GND identifier
    1091859086
    retrieved
    3 March 2021
     
    Retrieved from ‘https://stockhub.co/index.php?title=Item:Q5159939&oldid=3437798’