About
Libraries
Help
Z39.50 Checker
Signup
Login
Add Library

Home/Libraries/1.Automatic theorem proving

Subject

1.Automatic theorem proving

Explore catalogue records classified under 1.Automatic theorem proving.

1 catalogue record

Catalogue records

Automated Reasoning Wos, Larry 1984

Quick Links

Request Scholarly Literature
Request Patent Documents
Register with PASTIC
R&D Projects
Newsletters
Latest News
Services Feedback
Tenders
Seniority List
MoST Resources

Services & Portals

Pakistan Science Abstracts
Technology News Bulletin
Directory of Scientific Periodicals
Union Catalogue
UNESCO, IFAP Pakistan
Abstracting & Indexing
Scientists Directory
SAARC SMEs Portal
National Digital Archive
PASTIC Koha Cloud

S&T Databases

R&D Equipment Database
S&T/R&D Organizations
S&T Societies/Associations
S&T Libraries Directory
TIS Databases
Conferences & Seminars
Energy Articles Database
Climate Change Articles
Books by Pakistani Authors
Fresh Arrivals

Contact Us

Director General Office
Director Office
IT Support Section
Technological Information Services
Bibliographic Section
PASTIC National Science Reference Library
Reprographic Services
Training Section
Adminstration Section
Sub-Centres

Copyright 2026 © PASTIC National Centre, Islamabad. All rights reserved. Developed by IT Section, PASTIC Privacy Policy | Terms of Use | Contact Us