Results of search for 'su:"Logic programming"' › Anna Centenary Library catalog

Results
	1.		Meta-logics and logic programming edited by Krzysztof R. Apt and Franco Turini by Apt, Krzysztof R Turini, Franco Publication details: Cambridge, MA MIT Press c1995 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 APT.
	2.		Natural language understanding James Allen by Allen, James Edition: 2nd ed Publication details: Redwood City, Calif Benjamin/Cummings Pub. Co c1995 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.13 ALL.
	3.		Parallel and constraint logic programming : an introduction to logic, parallelism and constraints by Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou by Vlahavas, Ioannis Sakellariou, Ilias Tsarchopoulos, Panagiotis Publication details: Boston Kluwer Academic Publishers c1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.275 VLA.
	4.		Programming logic and design : introductory Joyce Farrell by Farrell, Joyce Course Technology, Inc Edition: 6th ed Publication details: Boston, MA Thomson Course Technology c2011 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.15 FAR.
	5.		Programming with constraints : an introduction Kim Marriott and Peter J. Stuckey by Marriott, Kim Stuckey, Peter J Publication details: Cambridge, MA MIT Press c1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.13 STU.
	6.		Prolog : the standard : reference manual P. Deransart, A. Ed-Dbali, L. Cervoni ; foreword by C. Biro, preface by R.S. Scowen by Deransart, Pierre Cervoni, L Ed-Dbali, A Publication details: Berlin Springer c1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 DER.
	7.		The logic programming paradigm : a 25-year perspective K. Apt ... [et al.] eds by Apt, Krzysztof R Publication details: Berlin Springer c1999 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 APT.
	8.		Constraint handling rules Thom Frühwirth by Frühwirth, Thom Publication details: Cambridge Cambridge University Press 2009 Availability: Items available for loan: Anna Centenary Library (2)Call number: 005.116 FRU, ...
	9.		Constraint logic programming using ECLiPSe Krzysztof R. Apt and Mark Wallace by Apt, Krzysztof R Wallace, M Publication details: Cambridge Cambridge University Press 2007 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.116 APT.
	10.		Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures Hubert Comon, Claude Marché, Ralf Treinen (eds.) by Comon, Hubert Marché, Claude Treinen, Ralf CCL'99 (1999 : Gif-sur-Yvette, France), ESPRIT CCL Working Group Publication details: Berlin Springer c2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.11 COM.
	11.		Deduction and declarative programming Peter Padawitz by Padawitz, Peter Publication details: Cambridge Cambridge University Press c1992 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.1 PAD.
	12.		Foundations of inductive logic programming Shan-Hwei Nienhuys-Cheng, Ronald de Wolf by Nienhuys-Cheng, S. -H De Wolf, R Publication details: Berlin Springer c1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 HWE.
	13.		Inductive logic programming : from machine learning to software engineering Francesco Bergadano and Daniele Gunetti by Bergadano, Francesco Gunetti, Daniele Publication details: Cambridge, MA MIT Press c1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.11 BER.
	14.		Just enough programming logic and design Joyce Farrell by Farrell, Joyce Publication details: Boston, MA Course Technology Cengage Learning c2010 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 FAR.
	15.		Logic and language Neville Dean by Dean, Neville Publication details: Basingstoke, Hampshire Palgrave Macmillan 2003 Availability: Items available for loan: Anna Centenary Library (1)Call number: 160 DEA.
	16.		Logic and prolog programming Saroj Kaushik by Saroj Kaushik Publication details: New Delhi New Age international ( P) Limited, Publishers 2002 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 SAR.
	17.		Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan by Huth, Michael Ryan, Mark Edition: 2nd ed Publication details: Cambridge Cambridge University Press 2004 Availability: Items available for loan: Anna Centenary Library (1)Call number: 004 HUT.
	18.		Logic programming : operational semantics and proof theory James H. Andrews by Andrews, James H Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: Anna Centenary Library (2)Call number: 005.131 AND, ...
	19.		Logic programming : proceedings of the ... international conference Edited by John Lloyd by Lloyd, John Association for Logic Programming, International Conference on Logic Programming, International Symposium on Logic Programming, Symposium on Logic Programming Publication details: Cambridge, MA MIT Press c1987- Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 LLO.
	20.		Logic programming : proceedings of the 1996 joint international conference and symposium on logic programming Michael Maher by Maher, Michael Publication details: Cambridge [publisher not identified] 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 MAH.
	21.		Logic programming proceedings of the 12th international conference on logic programming, held in Kanagawa, Japan from 13 - 18 June 1995 Leon Sterling by Sterling, Leon Publication details: Cambridge, MA MIT Press 1995 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 STE.
	22.		Logic programming: proceedings of the 1997 international symposium Jan Maluszynski by Maluszynski, Jan Publication details: Cambridge, MA MIT Press ©1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 MAL.
	23.		Logic-based 0-1 constraint programming Peter Barth by Barth, Peter Publication details: Dordrecht ; Boston Kluwer Academic Publishers 1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 003 BAR.
	24.		Logics for emerging applications of databases Jan Chomicki, Ron van der Meyden, Gunter Saake (eds.) by Chomicki, Jan Saake, Gunter Van der Meyden, Ron Publication details: Berlin Springer c2004 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.74 CHO.
	25.		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 Hogger, Christopher John Robinson, J. A Publication details: Oxford Clarendon Press ; Oxford University Press 1993-1998 Availability: Items available for loan: Anna Centenary Library (2)Call number: QA76.63 .H36 1993 006.3/3, ...
	26.		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 Hogger, Christopher John Robinson, J. A Publication details: Oxford Clarendon Press ; Oxford University Press c1993-1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 GAB.
	27.		Discrete structures, logic, and computability James L. Hein by Hein, James L Publication details: Sudbury, Mass Jones and Bartlett Publishers 2003 Availability: Items available for loan: Anna Centenary Library (2)Call number: 004.0151 HEI, ...
	28.		Discrete structures, logic, and computability James L. Hein by Hein, James L Edition: 3rd ed Publication details: Sudbury, Mass Jones and Bartlett Publishers c2010 Availability: Items available for loan: Anna Centenary Library (1)Call number: 004.0151 HEI.
	29.		Introduction to logic and computer design Alan B Marcovitz by Marcovitz, Alan B Publication details: New Delhi Tata McGraw Hill Education 2008 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.395 MAR.
	30.		Programming logic and design : comprehensive Joyce Farrell by Farrell, Joyce Course Technology, Inc Edition: 4th ed Publication details: Boston, MA Course Technology c2007 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.115 FAR.
	31.		Programming logic and design : comprehensive Joyce Farrell by Farrell, Joyce Course Technology, Inc Edition: 5th ed Publication details: Boston, MA Thomson Course Technology c2008 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.1 FAR.
	32.		The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution Bob Carpenter by Carpenter, Bob Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.73 CAR.
	33.		No cover image available The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution Bob Carpenter by Carpenter, Bob Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: Anna Centenary Library (1)Call number: QA76.9.D35 C37 1992 005.7/3.
	34.		A tight, practical integration of relations and functions Harold Boley by Boley, H Publication details: Berlin Springer c1999 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 BOL.
	35.		Advances in computational and stochastic optimization, logic programming, and heuristic search : interfaces in computer science and operations research edited by David L. Woodruff by Woodruff, David L Publication details: Boston Kluwer Academic Publishers 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 658.4032 WOO.
	36.		Autonomous, model-based diagnosis agents by Michael Schroeder by Schroeder, Michael Publication details: Deventer, The Netherlands ; Boston, MA Kluwer c1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.74 SCH.
	37.		Programming logic and design : comprehensive Joyce Farrell by Farrell, Joyce Course Technology, Inc Edition: 4th ed Publication details: Boston, MA Course Technology c2007 Availability: No items available.
	38.		Programming logic and design : comprehensive Joyce Farrell by Farrell, Joyce Course Technology, Inc Edition: 5th ed Publication details: Boston, MA Thomson Course Technology c2008 Availability: No items available.
	39.		The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution Bob Carpenter by Carpenter, Bob Publication details: Cambridge Cambridge University Press 1992 Availability: No items available.
	40.		No cover image available The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution Bob Carpenter by Carpenter, Bob Publication details: Cambridge Cambridge University Press 1992 Availability: No items available.
	41.		The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution Bob Carpenter by Carpenter, Bob Publication details: Cambridge Cambridge University Press 1992 Availability: No items available.
	42.		No cover image available The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution Bob Carpenter by Carpenter, Bob Publication details: Cambridge Cambridge University Press 1992 Availability: No items available.

Refine your search

Availability

Authors

Item types

Topics

Your search returned 42 results.

Find us on the map