Search for 'su:"Logic programming"'

Mathematical aspects of logic programming semantics

By Hitzler, Pascal. Boca Raton: CRC Press, 2011 . xxx, 274 p.; 25 cm.. 9781439829615

Place Hold on Mathematical aspects of logic programming semantics

Logic in computer science : modelling and reasoning about systems

By Huth, Michael. Cambridge: Cambridge University Press, 2010 . xiv, 427 p.; 25 cm.. 9780521670890

Place Hold on Logic in computer science : modelling and reasoning about systems

Logic for computer scientists

By Schoning, Uwe. Boston: Birkhauser, 1989 . 166 p.; 24 cm.. 0817634533

Place Hold on Logic for computer scientists

Management of knowledge imperfection in building intelligent systems

By Roventa, Eugene. Berlin: Springer, 2009 . xiii, 253 p.; 24 cm.. 9783540774624

Place Hold on Management of knowledge imperfection in building intelligent systems

Haskell road to logic, maths and programming

By Doets, Kees. London: King's College Publishing, 2004 . ix, 426 p.; 23 cm.. 9780954300692

Place Hold on Haskell road to logic, maths and programming

Discrete structures, logic, and computability

By Hein, James L.. Sudbury: Jones & Bartlett, 2010 . xiv, 1009 p.; 25 cm.. 9780763772062

Place Hold on Discrete structures, logic, and computability

Programming languages : an active learning approach.

By Lee, Kent D.. New York Springer 2008 . xiii, 282 p. 24 cm.. 9780387794211

Place Hold on Programming languages : an active learning approach.

Logical and relational learning

By Raedt, Luc de. Berlin: Springer, 2008 . xv, 387 p.; 24 cm.. 9783540200406

Place Hold on Logical and relational learning

Logic and prolog programming

By Kaushik, Saroj. New Delhi New Age International 2002 . xv, 319 p. 24 cm.. 8122414095

Place Hold on Logic and prolog programming

Programming logic and design : comprehensive

By Farrell, Joyce. Boston: Thomson Course Technology, 2007 . xvi, 671 p.; 24 cm.. 1418836338

Place Hold on Programming logic and design : comprehensive

Introduction to default logic

By Besnard, Philippe. Berlin: Springer, 1989 . xi, 208 p.; 26 cm.. 0387515666

Place Hold on Introduction to default logic

Discrete structures, logic, and computability

By Hein, James L.. Sudbury: Jones & Bartlett, 2002 . xvi, 943 p.; 25 cm.. 9780763718435

Place Hold on Discrete structures, logic, and computability

Logic programming : operational semantics and proof theory

By Andrews, James H.. Cambridge: Cambridge University Press, 1992 . xi, 104 p.; 25 cm.. 052160745x

Place Hold on Logic programming : operational semantics and proof theory

Constraint logic programming using ECLiPSe

By Apt, Krzysztof R.. Cambridge: Cambridge University Press, 2007 . xv, 329 p.; 25 cm.. 9780521866286

Place Hold on Constraint logic programming using ECLiPSe

Concepts of programming languages

By Sebesta, Robert W.. New Delhi: Pearson Education, 2007 . 742 p.; 24 cm.. 8131708373

Place Hold on Concepts of programming languages

Starting out with Programming Logic and Design

By Messinger, Jim. New Delhi: Dreamtech Press, 2005 . xiv, 350 p.; 24 cm.. 8177225669

Place Hold on Starting out with Programming Logic and Design

Arithmetic and logic in computer systems

By Lu, Mi. New Jersey: John Wiley & Sons, 2004 . xxi, 246 p.; 25 cm.. 0471469459

Place Hold on Arithmetic and logic in computer systems

Principles and practice of semantic web reasoning : Second International Workshop, PPSWR 2004, proceedings

By Ohlbach, Hans Jurgen. Berlin: Springer-Verlag, 2004 . vi, 163 p.; 23 cm.. 9783540229612

Place Hold on Principles and practice of semantic web reasoning : Second International Workshop, PPSWR 2004, proceedings

Logic in Computer Science : modeling and reasoning about systems

By Huth, Michael. Cambridge: Cambridge University Press, 2004 . xiv, 427 p.; 25 cm.. 052154310X

Place Hold on Logic in Computer Science : modeling and reasoning about systems

Logics for emerging applications of databases

By Meyden, Ron van der. Berlin: Springer-Verlag, 2003 . 368 p.; 24 cm.. 3540007059

Place Hold on Logics for emerging applications of databases

Logic programming paradigm : a 25-year perspective

By Apt, Krzysztof R.. Berlin: Springer-Verlag, 1999 . 456 p.; 24 cm.. 3540654631

Place Hold on Logic programming paradigm : a 25-year perspective

Programming with constraints : an introduction

By Stuckey, Peter J.. Cambridge: MIT Press, 1999 . 467 p.; 26 cm.. 0262133415

Place Hold on Programming with constraints : an introduction

Logic in Computer Science

By IEEE Computer Society. New York: IEEE Computer Society, 2000 . 425 p.; 28 cm.. 9780769507255

Place Hold on Logic in Computer Science

Introduction to Expert Systems

By Jackson, Peter. Delhi: Pearson Education Asia, 2001 . 542 p.; 23 cm.. 8178084996

Place Hold on Introduction to Expert Systems

Concepts of Programming Languages

By Sebesta, Robert W.. Delhi: Addison-Wesley, 1999 . 970 p.; 24 cm.. 9812358978

Place Hold on Concepts of Programming Languages