Center and Library of Islamic Studies in European Languages

Center and Library of Islamic Studies in European Languages

Province: Qom ـ شهر: Qom

Email : info@clisel.com

Website : lib.clisel.com

Phone Call : 32910706-025

Number of Titles : 1049300

Type of Documents : کتاب، مجله، مقاله و پایان نامه

Last updated : 30 دی 1402

Admin Name : مرتضی کریمی

Type of Library : Professional

Established date : 1393

International Standard Library Number :

Category type : کنگره

Fax : 025-32910706

: 3857 - 37185post box :

Postal code : 3715699844

Address : قم مقدسه - خیابان شهید صدوقی - کوچه شماره 11 - پلاک 72

Specialty : مطالعات اسلامی به زبان های لاتین

Description :

Please Wait a Moment

علوم

موضوع قبلی: زبان شناسی، زبان و ادبیات موضوع بعدی: علوم پزشکی

Computational logic in multi-agent systems :

All about Maude-- a high-performance logical framework

Computational logic in multi-agent systems

Computational logic in multi-agent systems

Computer science logic :

Computer science logic :

Computer science logic

Computer science logic :

Description logic, theory combination, and all that :

Proofs and algorithms :

Logic of Programming and Calculi of Discrete Design :

Computational logic

Computational Logic - CL 2000 :

Algebraic and Algorithmic Aspects of Differential and Integral Operators :

Computer science logic :

Funktionaler Entwurf digitaler Schaltungen Methoden und CAD-Techniken

Dynamic logic /

Handbook of practical logic and automated reasoning /

Fundamentals of algebraic specification 1 :

1 2 3 4 ...16770 16771 16772 16773 16774 16775 16776 ...27152 27153 27154 27155

Q

100616

QA

43960

Computational Logic - CL 2000 :

پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer architecture.,Computer science.,Software engineering.

رده :

QA76

.

9

.

L63

E358

2000

This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them