Artificial Intelligence Research
International Peer-reviewed and Open Access Journal for the Artificial Intelligence Specialists

Li, Wei, State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China

• Vol 7, No 1 (2018) - Original Research
  Multisequent Gentzen Deduction Systems For B₂ ²-Valued First-Order Logic
  Abstract  PDF

Artificial Intelligence Research

ISSN 1927-6974 (Print)   ISSN 1927-6982 (Online)

Copyright © Sciedu Press 
To make sure that you can receive messages from us, please add the 'Sciedupress.com' domain to your e-mail 'safe list'. If you do not receive e-mail in your 'inbox', check your 'bulk mail' or 'junk mail' folders.