Author: Andrei Voronkov

Author's info and books

Information about author Andrei Voronkov from several data sources.

Author Search

Search for any author

AI-generated bio of "Andrei Voronkov":


Books Results

Source: The Open Library

Andrei Voronkov Books

Books writen by author Andrei Voronkov from The Open Library

1Logic for programming artificial intelligence and reasoning

By

Book's cover

“Logic for programming artificial intelligence and reasoning” Metadata:

  • Title: ➤  Logic for programming artificial intelligence and reasoning
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2003
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Logic for programming artificial intelligence and reasoning at online marketplaces:


2Programming Logics

By

Book's cover

“Programming Logics” Metadata:

  • Title: Programming Logics
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2013
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Programming Logics at online marketplaces:


3Handbook of Automated Reasoning

By

Book's cover

“Handbook of Automated Reasoning” Metadata:

  • Title: ➤  Handbook of Automated Reasoning
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2001
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Handbook of Automated Reasoning at online marketplaces:


4Automated Deduction - CADE-18

By

Book's cover

“Automated Deduction - CADE-18” Metadata:

  • Title: Automated Deduction - CADE-18
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2002
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: Unclassified

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Automated Deduction - CADE-18 at online marketplaces:


    5Logic Programming and Automated Reasoning

    By

    Book's cover

    “Logic Programming and Automated Reasoning” Metadata:

    • Title: ➤  Logic Programming and Automated Reasoning
    • Author:
    • Language: English

    Access and General Info:

    • First Year Published: 1993
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic Programming and Automated Reasoning at online marketplaces:


    6Logic for programming, artificial intelligence, and reasoning

    By

    Book's cover

    “Logic for programming, artificial intelligence, and reasoning” Metadata:

    • Title: ➤  Logic for programming, artificial intelligence, and reasoning
    • Author:
    • Language: English

    Access and General Info:

    • First Year Published: 2006
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for programming, artificial intelligence, and reasoning at online marketplaces:


    7Rewriting Techniques and Applications

    By

    Book's cover

    “Rewriting Techniques and Applications” Metadata:

    • Title: ➤  Rewriting Techniques and Applications
    • Author:

    Access and General Info:

    • First Year Published: 2009
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Rewriting Techniques and Applications at online marketplaces:


    8Handbook of Automated Reasoning

    By

    Book's cover

    “Handbook of Automated Reasoning” Metadata:

    • Title: ➤  Handbook of Automated Reasoning
    • Author:
    • Language: English

    Access and General Info:

    • First Year Published: 2001
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Handbook of Automated Reasoning at online marketplaces:


    9Automated Reasoning

    By

    Book's cover

    “Automated Reasoning” Metadata:

    • Title: Automated Reasoning
    • Author:
    • Language: English

    Access and General Info:

    • First Year Published: 2001
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Automated Reasoning at online marketplaces:


    10Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

    By

    Book's cover

    “Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings” Metadata:

    • Title: ➤  Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
    • Author:

    Access and General Info:

    • First Year Published: 2012
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings at online marketplaces:


    11Perspectives of System Informatics

    By

    Book's cover

    “Perspectives of System Informatics” Metadata:

    • Title: ➤  Perspectives of System Informatics
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2015
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Perspectives of System Informatics at online marketplaces:


    12Logic for Programming, Artificial Intelligence, and Reasoning

    By

    Book's cover

    “Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

    • Title: ➤  Logic for Programming, Artificial Intelligence, and Reasoning
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2012
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:


    13Perspectives of systems informatics

    By

    Book's cover

    “Perspectives of systems informatics” Metadata:

    • Title: ➤  Perspectives of systems informatics
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2007
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Perspectives of systems informatics at online marketplaces:


    14Logic for programming, artificial intelligence, and reasoning

    By

    Book's cover

    “Logic for programming, artificial intelligence, and reasoning” Metadata:

    • Title: ➤  Logic for programming, artificial intelligence, and reasoning
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2002
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for programming, artificial intelligence, and reasoning at online marketplaces:


    15Handbook of Automated Reasoning

    By

    Book's cover

    “Handbook of Automated Reasoning” Metadata:

    • Title: ➤  Handbook of Automated Reasoning
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2001
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Handbook of Automated Reasoning at online marketplaces:


    16Logic for Programming, Artificial Intelligence, and Reasoning

    By

    Book's cover

    “Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

    • Title: ➤  Logic for Programming, Artificial Intelligence, and Reasoning
    • Author:

    Access and General Info:

    • First Year Published: 2008
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:


    17Logic for Programming, Artificial Intelligence, and Reasoning

    By

    Book's cover

    “Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

    • Title: ➤  Logic for Programming, Artificial Intelligence, and Reasoning
    • Author:

    Access and General Info:

    • First Year Published: 2008
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:


    18Logic for Programming, Artificial Intelligence, and Reasoning

    By

    Book's cover

    “Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

    • Title: ➤  Logic for Programming, Artificial Intelligence, and Reasoning
    • Author: ➤  

    Access and General Info:

    • First Year Published: 2008
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:


    19Logic for programming and automated reasoning

    By

    Book's cover

    “Logic for programming and automated reasoning” Metadata:

    • Title: ➤  Logic for programming and automated reasoning
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 1999
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for programming and automated reasoning at online marketplaces:


    20Computer Science - Theory and Applications

    By

    “Computer Science - Theory and Applications” Metadata:

    • Title: ➤  Computer Science - Theory and Applications
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2007
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Computer Science - Theory and Applications at online marketplaces:


    21Handbook Of Automated Reasoning

    By

    Book's cover

    “Handbook Of Automated Reasoning” Metadata:

    • Title: ➤  Handbook Of Automated Reasoning
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2001
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Handbook Of Automated Reasoning at online marketplaces:


    22Logic for Programming, Artificial Intelligence, and Reasoning

    By

    Book's cover

    “Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

    • Title: ➤  Logic for Programming, Artificial Intelligence, and Reasoning
    • Author: ➤  

    Access and General Info:

    • First Year Published: 2011
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:


    23Computer Science - Theory and Applications

    By

    Book's cover

    “Computer Science - Theory and Applications” Metadata:

    • Title: ➤  Computer Science - Theory and Applications
    • Author: ➤  

    Access and General Info:

    • First Year Published: 2008
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Computer Science - Theory and Applications at online marketplaces: