Showing 1 - 3 results of 3 for search '"automatic reasoning"', query time: 0.04s Refine Results
  1. 1
    A reasoning algorithm with the original relations of the 3D basic rectangular cardinal direction relation

    A reasoning algorithm with the original relations of the 3D basic rectangular cardinal direction relation by Miao Wang, Hao Tang, Tianxu Wang, Yujun Chen, Weiguang Liu

    Published 2025-07-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    An Experience with Pre-Service Teachers, Using GeoGebra Discovery Automated Reasoning Tools for Outdoor Mathematics

    An Experience with Pre-Service Teachers, Using GeoGebra Discovery Automated Reasoning Tools for Outdoor Mathematics by Angélica Martínez-Zarzuelo, Álvaro Nolla, Tomás Recio, Piedad Tolmos, Belén Ariño-Morera, Alejandro Gallardo

    Published 2025-06-01
    Subjects: “…automatic reasoning…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Ontological analysis in the problems of container applications threat modelling

    Ontological analysis in the problems of container applications threat modelling by A. I. Brazhuk, E. V. Olizarovich

    Published 2023-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: