Search Results - "Automation"

  1. 421
  2. 422
  3. 423
  4. 424
  5. 425
  6. 426
  7. 427
  8. 428
  9. 429
  10. 430
  11. 431
  12. 432
  13. 433
  14. 434
  15. 435
  16. 436
  17. 437

    Generic inference a unifying theory for automated reasoning by Pouly, Marc 1980-

    Published 2011
    “…Unifying theory for automated reasoning…”
    Click Here to View Status and Holdings.
    Book
  18. 438
  19. 439
  20. 440