Search results

Jump to: navigation, search
  • around the question of how to introduce a form of automated reasoning amount to posing queries that use deduction to obtain results instead
    5 KB (696 words) - 18:29, 8 November 2008
  • Automata theory; automated deduction; constructive and non-
    5 KB (698 words) - 23:08, 14 October 2008
  • ...ve, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, co
    2 KB (285 words) - 15:11, 7 November 2016
  • * automated deduction
    5 KB (656 words) - 11:29, 27 August 2020
  • |Title=International Conference on Automated Deduction
    250 bytes (31 words) - 09:50, 20 November 2020
  • representation, and automated reasoning, there is an obvious need for * combination of deduction systems and computer algebra;
    5 KB (669 words) - 13:03, 18 January 2009
  • |Title=International Joint Conference on Automated Reasoning IJCAR 2020 is the merger of the following leading events in automated reasoning:
    938 bytes (116 words) - 10:03, 20 November 2020
  • |Field=Automated Deduction
    226 bytes (29 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    254 bytes (31 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    211 bytes (27 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    243 bytes (31 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    235 bytes (31 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    233 bytes (28 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    255 bytes (31 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    213 bytes (27 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    216 bytes (28 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    211 bytes (28 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    214 bytes (28 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    210 bytes (27 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    267 bytes (34 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    254 bytes (31 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    250 bytes (29 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    221 bytes (27 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    280 bytes (33 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    195 bytes (23 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    241 bytes (28 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    226 bytes (29 words) - 19:56, 28 October 2016
  • |Field=Automated Deduction
    233 bytes (29 words) - 19:56, 28 October 2016
  • |Title=International Conference on Automated Deduction |Field=Automated reasoning
    179 bytes (24 words) - 20:02, 28 October 2016
  • * automated deduction
    4 KB (528 words) - 11:25, 26 June 2020
  • * automated deduction
    4 KB (490 words) - 11:42, 26 June 2020
  • |Title=26th International Conference on Automated Deduction |Field=Automated Deduction
    760 bytes (94 words) - 13:11, 17 September 2020
  • * automated deduction
    4 KB (525 words) - 11:27, 27 August 2020
  • * automated deduction
    4 KB (537 words) - 14:06, 27 August 2020
  • ...oning/belief; Dempster-Shafer theory; Concurrent computation and planning; Deduction and reasoning
    7 KB (764 words) - 18:56, 8 December 2020