Refine your search

Your search returned 233 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
121.
Theory of deductive system and its applications / by S Yu Maslov. by Series: MIT Press series in the foundations of computing
Material type: Text Text; Literary form: Not fiction
Publication details: cambridge: MIT Press, 1987
Availability: Items available for loan: Bangalore (1)Call number: 511.3 MAS.

Place hold
122.
Argumentation in artificial intelligence / edited by Iyad Rahwan, Gullermo R Simari. by
Material type: Text Text; Literary form: Not fiction
Publication details: London: Springer, 2009
Availability: Items available for loan: Bangalore (1)Call number: 006.3 RAH (C).

Place hold
123.
Understanding mathematical proof / John Taylor and Rowan Garnier. by
Material type: Text Text; Format: print
Publication details: New York : CRC Press, Taylor & Francis, 2014
Availability: Items available for loan: Bangalore (1)Call number: 511.36 TAY.

Place hold
124.
Formal concept analysis : foundations and applications / Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.). by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2005
Availability: Items available for loan: Shillong (2).

Place hold
125.
Proofs 101: an introduction to formal mathematics by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton CRC Press 2021
Availability: Items available for loan: Ahmedabad (1)Call number: 511.36 K4P7. Bodh Gaya (1)Call number: 511.36 KIR.

Place hold
126.
Multi-criteria decision making methods : a comparative study by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: USA Springer 2000
Availability: Items available for loan: Jammu (1)Call number: 658.403 TRI.

Place hold
127.
Bibliography of mathematical logic. V 1 / Gart H. Muller, Wolfgang Rautenberg by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 1987
Availability: Items available for loan: Calcutta (1)Call number: R 016.5113 MUL.

Place hold
128.
Bibliography of mathematical logic. V 2 / Gert Muller, Wolfgang Rautenberg by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer- Verlag, 1987
Availability: Items available for loan: Calcutta (1)Call number: R 016.5113 MUL.

Place hold
129.
Logic, sets and recursion by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Jones & Bartlett Pub, 1994
Availability: Items available for loan: Calcutta (1)Call number: 511.3 CAU.

Place hold
130.
Logic-based decision support : mixed integer model formulation / Robert G Jeroslow by Series: Annals of discrete mathematics ; 40
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : North-Holland, 1989
Availability: Items available for loan: Calcutta (1)Call number: 658.403 JER.

Place hold
131.
Collected works of J Richard Buchi / Saunders Maclane and Dirk Siefkes by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, 1990
Availability: Items available for loan: Calcutta (1)Call number: 511.3 BUC.

Place hold
132.
Representing and reasoning with probabilistic knowledge : a logical approach to probabilities by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : The MIT Press, 1990
Availability: Items available for loan: Calcutta (1)Call number: 519.2 BAC.

Place hold
133.
Methodologies for intelligent systems, 4 by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : North-Holland, 1989
Availability: Items available for loan: Calcutta (1)Call number: 006.33 RAS.

Place hold
134.
Computation as logic by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Paris : Masson, 1993
Availability: Items available for loan: Calcutta (1)Call number: 005.131 LAL.

Place hold
135.
Time and logic : a computational approach / Leonard Bolc and Andrzej Szatas by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : UCL Press, 1995
Availability: Items available for loan: Calcutta (1)Call number: 005.131 BOL.

Place hold
136.
Intensional logics for programming / Luis Farinas Del Cerro and Martti Penttonen by Series: Studies in logic and computation ; 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford : Clarendon Press, 1992
Availability: Items available for loan: Calcutta (1)Call number: 005.115 FAR.

Place hold
137.
Artificial intelligence by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Houndmills : Macmillan, 1994
Availability: Items available for loan: Calcutta (1)Call number: 006.3 PRA.

Place hold
138.
No cover image available
Proof in geometry / A I Fetisov by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Moscow : Mir Publishers, 1982
Availability: Items available for loan: Calcutta (1)Call number: 516 FET.

Place hold
139.
Schaum's outline of theory and problems of discrete mathematics by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : McGraw-Hill, 1976
Availability: Items available for loan: Calcutta (1)Call number: 511.1 LIP.

Place hold
140.
No cover image available
Statistical methods and scientific inference / Ronald Aylmer Fisher by
Edition: 2ne rev ed
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Hafner Publishing, 1959
Availability: Items available for loan: Calcutta (1)Call number: 519.5 FIS.

Place hold
Pages

Powered by Koha