Sadri, F. books & textbook
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I (Lecture Notes in Computer Science, 2407)
Springer /2002-07-12 Paperback / 696 Pages
isbn-10: 3540439595 / isbn-13: 9783540439592
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing)
Alagar, V.S. Lakshmanan, Laks V.S. Sadri, F.
Springer /1993-02-24 Paperback / 200 Pages
isbn-10: 3540198121 / isbn-13: 9783540198123
