Showing 1 - 3 results of 3 for search 'Gregorics Tibor', query time: 0.03s Refine Results
  1. 1
    Remarks on the A** algorithm
    by Gregorics Tibor
    Published 2014-12-01
    Get full text
    Article
  2. 2
    Object-oriented backtracking
    by Gregorics Tibor
    Published 2017-12-01
    Get full text
    Article
  3. 3
    A unified approach of program verification
    by Gregorics Tibor, Borsi Zsolt
    Published 2017-07-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search