Search Results - "Andrei Voronkov"

Suggested Topics within your search.
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Handbook of automated reasoning

    Handbook of automated reasoning

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers

    Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers

    Published 2007
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: