Skip to main navigation
Skip to search
Skip to main content
Heriot-Watt Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at Heriot-Watt Research Portal
Home
Profiles
Research units
Research output
Datasets
Impacts
Equipment
Prizes
Activities
Press/Media
Courses
Inductive reasoning for shape invariants
Lilia Georgieva
, Patrick Maier
School of Mathematical & Computer Sciences
Computer Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Inductive reasoning for shape invariants'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Data Structure
100%
Invariant
100%
Inductive Reasoning
100%
Order Theorem Prover
33%
Logic Programming
33%
INIS
data
100%
shape
100%
solutions
33%
specifications
33%
verification
33%