Your search returned 37 results.

Sort
Results
ACM transactions on computational logic
Publication details: New York ACM
Availability: Items available for reference: : Not for loan (1).
Discrete structures, logic and computability by
  • Hein, James L
Publication details: Boston Jones and bartlett 2010
Availability: Items available for loan: University Library (1)Call number: 510:681.31 HEI.
Computational logic and human thinking how to be artificially intelligent by
  • Kowalski, Robert
Publication details: Cambridge Cambridge university press 2011
Availability: Items available for loan: University Library (1)Call number: 004.81:159.955 KOW.
Programmable logic controllers by
  • Bolton W
Edition: 5th ed.
Publication details: Elsevier 2009
Availability: Items available for loan: University Library (1).
Is god a mathematician? by
  • Livio, Mario
Publication details: New York Simon and schuster 2010
Availability: Items available for loan: University Library (1)Call number: 510.6 LIV.
Course on mathematical logic by
  • Srivastava, Shashi Mohan
Series: Universitext
Edition: 2nd ed.
Publication details: New York Springer 2013
Availability: Items available for loan: University Library (1)Call number: 510.6 SRI.
Outer limits of reason what science,mathematics and logic cannot tell us by
  • Yanofsky, Noson S
Publication details: London MIT press 2013
Availability: Items available for loan: University Library (1)Call number: 501 YAN.
What is science by
  • Sarukkai, Sundar
Publication details: New Delhi National book trust India
Availability: Items available for loan: University Library (1)Call number: 001.1 SAR.
Discrete mathematics and its applications with combinatorics and graph theory by
  • Rosen, Kenneth H
Edition: 7th ed.
Publication details: Chennai McGraw Hill 2011
Availability: Items available for loan: University Library (5)Call number: 519.11 ROS, ...
Computational thinking for the modern problem solver by
  • Riley,David.D
Publication details: CRC Press New York 2014
Availability: Items available for loan: University Library (1)Call number: 004.81:159.955 RIL/C.
Interview preparation for dot net technology .net, MVC, SQL server by
  • Mishra, Sujit Kumar
Publication details: India Xpress publishing 2019
Availability: Items available for reference: University Library : Not for loan (1)Call number: 161.221.2(047.53) MIS/D.2 R.
Design and analysis of algorithms a contemporary perspective by
  • Sandeep Sen
  • Amit, Kumar
Publication details: UK Cambridge University Press 2019
Availability: Items available for loan: University Library (1)Call number: 004.421 SAN/D.
First course in fuzzy logic by
  • Nguyen Hung, T
  • Walker Carol, L
Edition: 4th ed.
Publication details: New York: CRC press, 2019
Availability: Items available for loan: University Library (2)Call number: 510.22 NGU/F, ...
Archive for Mathematical Logic
Edition: Springer Online Journal Archive
Publication details: Springer
Availability: No items available.
Journal of Logic, Language and Information
Edition: Springer Online Journal Archive
Publication details: Springer
Availability: No items available.
Studia Logica : An International Journal for Symbolic Logic
Edition: Springer Online Journal Archive
Publication details: Springer
Availability: No items available.
Pages
University Library, CUSAT