Hide search box
Advanced search

Search results

results: 279

Refine results

Product type

show more

Author

show more

Publication country

show more

Publication language

show more

Publication date

  • <2018
  • 2019
  • 2020
  • 2021
  • 2022
  • 2023
  • 2024

Creation date

  • <2018
  • 2019
  • 2020
  • 2021
  • 2022
  • 2023
  • 2024

Modified date

  • <2018
  • 2019
  • 2020
  • 2021
  • 2022
  • 2023
  • 2024

Media

show more

Publisher

show more

Provider

show more

Business model

show more

Number of pages

Category

show more
Save parameters
  • Sort by:
  • Uid
  • Relevance
  • Title
  • Publication date
  • Price
  • Page z 28
  • Okładka
    (0)
    TOC
    Content preview
    Artificial intelligence Mathematical foundations

    Handbook of Automated Reasoning

    Alan J.A. Robinson

    Andrei Voronkov

    Elsevier Science, 2001 ISBN: 9780080532790
    Description:

    Handbook of Automated Reasoning

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Contributions to Non-Standard Analysis

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080954806
    Description:

    Contributions to Non-Standard Analysis

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2009 ISBN: 9780080954714
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080954738
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080954745
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080954752
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080954769
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2009 ISBN: 9780080954776
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080954783
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080954790
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • F Free access
  • T Trial access
  • O Open access
  • S Subscription
  • L With time limit
  • P Purchased