Logic for applications /

Enregistré dans:

Détails bibliographiques
Auteur principal:	Nerode, Anil
Autres auteurs:	Shore, Richard A.
Format:	Livre
Langue:	anglais
Publié:	New york : Springer-Verlag, 1997.
Édition:	2nd ed.
Collection:	Graduate texts in computer science
Sujets:	Computer science > Mathematics. Logic, Symbolic and mathematical.
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Soyez le premier à ajouter un commentaire!

Who we are

Institute of National Planning (INP) was established by Law No. 231 of 1960 as a think-tank public institution with an independent legal personality to enhance the theory and practice of planning in Egypt through: research, training and educational activities. Also, INP aims at providing technical support to Ministry of Planning, as well as to all national ministers and institutions, through spreading a culture of planning in Egyptian society.

Logic for applications /

Who we are

Quick Links

Contact Us

Logic for applications /

Documents similaires

Who we are

Quick Links

Contact Us