Login | Create Account

Items where Subject is "Q - SCIENCE > QA1-939 --- Mathematics > QA075-76.95 Calculating machines > QA76 Software > QA76.9 Other topics (prefer QA76_76 for software topics) > QA76.9.A96 Automatic theorem proving"

Library of Congress Subject Areas (11)
- Q - SCIENCE (9)
  - QA1-939 --- Mathematics (2)
    - QA075-76.95 Calculating machines
      - QA76 Software
        QA76.9 Other topics (prefer QA76_76 for software topics)
        QA76.9.A96 Automatic theorem proving

Number of items at this level: 0.

This list was generated on Sun Dec 3 16:19:54 2023 GMT.

Related Books

Privacy Policy | Contact Information

Quantropy is powered by: EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.