Your search returned 6 results.

Sort
Results
Logic in computer Science Modelling and Reasoning about Systems

by HUTH MICHAEL | RYAN MARK.

Edition: 2 Ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New Delhi CAMBRIDGE UNIVERSITY PRESS 2012Availability: Items available for loan: Malaviya National Institute of Technology (6)Call number: 004. HUT,E-2, ...

Logic, Sets, and Recursion

by CAUSEY, ROBERT.

Edition: 2 Ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Delhi JONES AND BARTLETT PUBLISHERS 2012Availability: Items available for loan: Malaviya National Institute of Technology (10)Call number: 005.15 CAU,E2, C9, ...

Handbook of Logic In Artificial Intelligence And Logic Programming

by GABBAY DOV M | ROBINSON JA.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: oxford Clarendon Press 1994Availability: Items available for loan: Malaviya National Institute of Technology (2)Call number: 006.303 GAB, ...

Deductive Databases and Logic Programming

by DAS, SUBRATA KUMAR.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: TOKYO ADDISON WESLEY PUBLISHING COMPANY 1992Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 005.131 DAS.

Non-Monotonic Extensions of Logic Programming edited by PRZYMUSINKI,TEODOR C.

by PRZYMUSINKI,TEODOR C.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: NEW YORK Springer Verlag Berlin Heidelberg 1995Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: PRZ.

Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.

by Gabbay, Dov M, 1945- | Hogger, Christopher John | Robinson, J.A. (John Alan).

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 1993Availability: Items available for reference: Malaviya National Institute of Technology: Not for loan (1)Call number: 006.3.

Pages