3141.
Functional and Constraint Logic Programming [electronic resource] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / edited by Julio Mariño.
by WFLP 2010 (19th : 2010 : Madrid, Spain) | Mariño, Julio [edt.] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
3142.
Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán.
by Morazán, Marco T [edt.] | Hage, Jurriaan [edt.] | IFL 2010 (22nd : 2010 : Alphen aan den Rijn, The Netherlands) .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
3143.
Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski.
by MFCS 2011 (36th : 2011 : Warsaw, Poland) | Sankowski, Piotr [edt.] | Murlak, Filip [edt.] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
3144.
Tarkaśāstrācīṁ mūlatattveṁ / तर्कशास्त्राचीं मूलतत्त्वें / देविदास दत्तात्रेय वाडेकर एंव लक्ष्मण बलवंत हरोलीकर Vāḍekara, Devidāsa Dattātreya Harolikar, Lakshman Balavant
by वाडेकर, देविदास दत्तात्रेय | हरोलीकर, लक्ष्मण बलवंत [jt.aut] .
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: पुणे : सरस्वती प्रकाशन, 1963Availability: Items available for loan: National Library of India
[Call number: Mar 160 V 134 ]
(2).
3145.
Tarkaśāstra āṇi śāstrīya paddhati / तर्कशास्त्र आणि शास्त्रीय पद्धति / य. श्री. मेहेंदळे Meheṁdaḷe, Y. S
by मेहेंदळे, य. श्री.
Edition: 2nd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: पुणे : आयडियल बुक सर्विस, 1959Availability: Items available for loan: National Library of India
[Call number: Mar 160 Me 147 ]
(1).
3146.
Saṁpūrṇa tarkaśāstra / संपूर्ण तर्कशास्त्र / ना. सी. फडके Phaḍake, N. S
by फडके, ना. सी.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: पुणए : देशमुख प्रकाशन, 1960Availability: Items available for loan: National Library of India
[Call number: Mar 160 Ph 178 s ]
(1).
3147.
Tarkaśāstra āṇi śāstrapaddhait / तर्कशास्त्र आणि शास्त्रपद्धति / ना. सी. फडके Phaḍake, N. S
by फडके, ना. सी.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: पुणे : देशमुख प्रकाशन, 1959Availability: Items available for loan: National Library of India
[Call number: Mar 160 Ph 178 ]
(2).
3148.
Sugama tarkaṣāstra āṇi vijñānika paddhati / सुगम तर्कशास्त्र आणि वैज्ञानिक पद्धति / श्रीकृष्ण गोपाळ हुल्याळकर Hulyāḷakara, Śrīkṛṣṇa Gopāḷa
by हुल्याळकर, श्रीकृष्ण गोपाळ.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: पुणे : अनाथ विद्यार्थी प्रकाशन, 1959Availability: Items available for loan: National Library of India
[Call number: Mar 160 H 681 s ]
(2).
3149.
Jadīd ibtadāī mant̤aq جدید ابتدائ منطق ایل۔ سوسن۔ اسٹیبنگ ؛ مترجمہ سلطان علی شیدا Sṭebng, L- Sosan Sult̤ān 'Alī Shaīdā
by اسٹینگ، ایل۔ سوسن | سلطان علی شیدا [مترجم] .
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: نئ دہلی ترقی اُردو بکڈپو 1979Availability: Items available for loan: National Library of India
[Call number: U 160St 13 ms ]
(1).
3150.
The notion of existence in modern logical theory / Dipak Kumar Bagchi
by Bagchi, Dipak Kumar.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Calcutta : Progreeive Pub., 1996Availability: Items available for loan: National Library of India
[Call number: E 160 B 146 ]
(1).
3151.
Logic and prolog programming / Saroj Kaushik
by Kaushik, Saroj.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi : New Age International Pub., c2002Availability: Items available for loan: National Library of India
[Call number: E 005.133 K 167 ]
(1).
3152.
Introduction to logic / Irving M. Copi, Carl Cohen
by Copi, Irving M | Cohen, Carl.
Edition: 9th ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi : Prentice-Hall, 1995Availability: Items available for loan: National Library of India
[Call number: E 160 C 791 i ]
(1).
3153.
Definition of valid knowledge : pramalaksana in gangesa's tattvacintamani / Nndita Bandyopadhyay
by Bandyopadhyaya, Nndita.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Calcutta : Sanskrit Pustak Bhandar, 1998-Availability: Items available for loan: National Library of India
[Call number: E 92 G 154 d ]
(1).
3154.
An evaluation of A. J. Ayer's logical positivism / K. Srinivas
by Srinivas, K.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi : Intellectual Pub. House, 1990Availability: Items available for loan: National Library of India
[Call number: E 146.42 Sr 34 ]
(1).
3155.
Matrix models, random surfaces and 2 D gravity : November 19-23 1990
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Madras : Institute of Mathemetical Sciences, [n.d.]Availability: Items available for loan: National Library of India
[Call number: E/O 512.9434 M 428 ]
(1).
3156.
Faith in the age of uncertainty / edited by Sima Sharma ; with a foreword by Karan Singh
by Sharma, Sima [edt] .
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi : Indialog Pub. in association with the India International Centre, 2002Availability: Items available for loan: National Library of India
[Call number: E 291 F 172 ]
(1).
3157.
Elements of building drawing / by D. M. Mahajan
by Mahajan, D. M.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Pune : Pune Vidyarthi Griha Prakashan, 1979Availability: Items available for loan: National Library of India
[Call number: E/O 621.392 M 277 ]
(1).
3158.
Compu-maths / by A. M. Joshi [and] R. V. Sapatnekar
by Joshi, A. M | Sapatnekar, R. V [aut] .
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Bombay : Shalaka, 1987Availability: Items available for loan: National Library of India
[Call number: E/O 005.131 J 78 ]
(1).
3159.
Digital logic design / V. Palaniammal
by Palaniammal, V.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Chennai : Ozone Books, 2008Availability: Items available for loan: National Library of India
[Call number: E 621.395 P 172 ]
(1).
3160.
Astrological diagnosis of diseases : based on K. P. system / by K. Hariharan
by Hariharan, K.
Edition: 4th ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Chennai : Krishnamurti Pub., 2006Availability: Items available for loan: National Library of India
[Call number: E 133.5 H 224 a(1) ]
(1).