UCSC Library Search for '(su:"Logic Programming")'

Algebraic and logic programming :Lecture notes in computer science : Proceedings

By Hanus, Michael (et-al) (Ed.). Springer: Tokyo 1997 . 286 p. 0003540634592

Place hold on Algebraic and logic programming :Lecture notes in computer science : Proceedings

THE ART OF PROLOG:ADVANCED PROGRAMMING TECHNIQUES

By STERLING L. & SHAPIRO E.. MIT : ENGLAND 1997 . 508 p. 0000262193388

Place hold on THE ART OF PROLOG:ADVANCED PROGRAMMING TECHNIQUES

THE ART OF PROLOG:ADVANCED PROGRAMMING TECHNIQUES

By STERLING, L. & SHAPIRO ,E.. LONDON : MIT 2000 . 509 p. 0000262691639

Place hold on THE ART OF PROLOG:ADVANCED PROGRAMMING TECHNIQUES

Elementary Algebra for School : Metric Edition

By Hall, H.S & Knight S.R. India : A.I.P.B.S Publishers 2002 . 550 p. 0008185386854

Place hold on Elementary Algebra for School : Metric Edition

ESSENTIALS OF LOGIC PROGRAMMING

By HOGGER ,C.J.. OXFORD : CLARENDON 1900 . 299 p. 0000198538324

Place hold on ESSENTIALS OF LOGIC PROGRAMMING

From standard logic to logic programming : :introducing a logic based approach to artificial intelligence

By GOCHET, Paul (et-al). Chichester : John Wiley 1988 . 343 p. 0000471918385

Place hold on From standard logic to logic programming : :introducing a logic based approach to artificial intelligence

A GRAMMATICAL VIEW OF LOGIC PROGRAMMING

By DERANSART P. & MALUSZYNSKI .J. LONDON : MIT 1993 . 454 p. 0000262041405

Place hold on A GRAMMATICAL VIEW OF LOGIC PROGRAMMING

Logic and Prolog

By Spencer-smith, R.:. New York : Harvester Wheatsheaf 1991 . 392 p. 0000745010229

Place hold on Logic and Prolog

Logic In Computer Science: Modelling and Reasoning about Systems

By HUTH,MICHAEL;RYAN,MARK. UK:Cambridge University Press 2004 . 427 p. 9780521543101

Place hold on Logic In Computer Science: Modelling and Reasoning about Systems

LOGIC, LANGUAGE AND REASONING

By OHLBACH H.J. (ED.). LONDON : KLUWER ACADEMIC PUBLISHERS 1999 . 429 p. 079235687X

Place hold on LOGIC, LANGUAGE AND REASONING

LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION :lecture notes in artificial intelligence : Papers

By Dix, J (et-al)(Eds.). Springer: Tokyo 1997 . 246 p. 0003540649581

Place hold on LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION :lecture notes in artificial intelligence : Papers

LOGIC PROGRAMMING AND NON-MONOTONIC REASONING: Proceedings of the Second International Workshop

By PEREIRA L.M. (ED.). LONDON : MIT 1993 . 494 p. 0000262660830

Place hold on LOGIC PROGRAMMING AND NON-MONOTONIC REASONING: Proceedings of the Second International Workshop

Logic Programming : Lecture Notes in Computer Science:proceedings

By Codognet, P.:. Springer: Tokyo 2001 . 364 p. 0003540429352

Place hold on Logic Programming : Lecture Notes in Computer Science:proceedings

LOGIC PROGRAMMING :Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming

By JAFFAR J. (ED). LONDON : MIT 1998 . 360 p. 0000262600315

Place hold on LOGIC PROGRAMMING :Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming

LOGIC PROGRAMMING : Proceedings of the 1999 International Conference on Logic Programming

By SCHREYE D.D.(ED). LONDON : MIT 1999 . 622 p. 0000262541041

Place hold on LOGIC PROGRAMMING : Proceedings of the 1999 International Conference on Logic Programming

MODAL LOGIC

By BLACKBURN P. & RIJKE M. & VENEMA Y.. CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS 2001 . 554 p. 0000521527147

Place hold on MODAL LOGIC

TURBO PROLOG 2.0 USER'S GUIDE

U.S.A. : BORLAND INTERNATIONAL 1988 . 477 p. 0000875241859

Place hold on TURBO PROLOG 2.0 USER'S GUIDE

TURBO PROLOG FEATURES FOR PROGRAMMERS

By NATH ,S.. CALIFORNIA : MIS 1986 . 272 p. 0000943518687

Place hold on TURBO PROLOG FEATURES FOR PROGRAMMERS

USING TURBO PROLG

By YIN K.M. , SOLOMAN D.. INDIANA : QUE 1987 . 597 p. 0000880222700

Place hold on USING TURBO PROLG