Text this :: Library Catalog

Skip to content

Search Tips Ask a Librarian FAQs

Login
EN AR

Need Help?

Search Tips Ask a Librarian FAQs

EN AR

Advanced

Mechanizing Focused Linear Log...
Text this

Text this: Mechanizing Focused Linear Logic in Coq

Number:

Provider:

Browse the Catalog

Explore our entire collection by subject, author, or title

Explore Now

Browse Alphabetically

Browse our collection alphabetically by title, author, or subject

Explore Now

Explore Channels

Discover curated content and specialized resource channels

Explore Now

New Items

Browse recently added books, journals, and resources

Explore Now

نستخلص المعرفة من تبر البيانات

Extracting Knowledge from the Essence of Data

Quick Links

About Us
ASREN
Contact Us

Contact Info

98 Wasfi At-Tall Str., Amman, Jordan 11953

+962 6 437 0369

info@asren.net

Follow Us

Subscribe to our newsletter

Copyright 2026. Tibr. All Rights Reserved.

Powered by Arab State Research & Education Network (ASREN)

Privacy Policy Terms of Use

Cannot write session to /tmp/vufind_sessions/sess_am921dio0vguquhr2b3licu5v8