Search again

Found: 22  Titles

Order by :    Show:   Per Page
image

image

image
An introduction to logic programming through prolog / Michael Spivey.
Author
Spivey, Michael.
Published
London : Prentice Hall, c1996.
Call Number
QA76.63 S65i
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
An object-oriented approach to programming logic and design / Joyce Farrell
Author
Farrell, Joyce
Published
Australia : Course Technology, c2011.
Call Number
QA76.64 F31o 2011
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Answer set solving in practice Martin Gebser ... [et al.].
Published
San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013.
Call Number
QA76.615 .A588 2013,005.131 23

image
Arithmetic and logic in computer systems / Mi Lu.
Author
Lu, Mi.
Published
Hoboken, NJ : Wiley-Interscience, c2004.
Call Number
QA76.9.C62 L8a
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Computing with logic : logic programming with Prolog / David Maier, David S. Warren.
Author
Maier, David.
Published
Menlo Park, CA : Benjamin/Cummings, c1988.
Call Number
QA76.73.P76 M264c
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Constructing logic programs / edited by Jean-Marie Jacquet.
Published
Chichester : John Wiley, c1993.
Call Number
QA76.63 C633
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Datalog and logic databases / Sergio Greco and Cristian Molinaro.
Author
Greco, Sergio.,
Call Number
QA76.73.D24 G743 2016,005.133 23

image
Essentials of logic programming / Christopher John Hogger.
Author
Hogger, Christopher John.
Published
Oxford : Clarendon Press, c1990.
Call Number
QA76.63 H624e
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Fril, fuzzy and evidential reasoning in artificial intelligence / J.F. Baldwin, T.P. Martin, B.W. Pilsworth.
Author
Baldwin, J.F.
Published
Somerset : Research Studies Press, c1995.
Call Number
QA76.63 B27f
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
From logic programming to prolog / Krzysztof R. Apt.
Author
Apt, Krzysztof R.
Published
London : Prentice Hall, c1997.
Call Number
QA76.63 A62f
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
General game playing / Michael Genesereth, Michael Thielscher.
Author
Genesereth, Michael R.,
Call Number
QA269 .G454 2014,519.3 23,MoCl 6812560 IEEE

image
Logic and its applications / Edmund Burke and Eric Foxley.
Author
Burke, Edmund.
Published
London : Prentice Hall, c1996.
Call Number
QA76.63 B88l
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Logic and Prolog / Richard Spencer-Smith.
Author
Spencer-Smith, Richard.
Published
London : Harvester Wheatsheaf, c1991.
Call Number
QA76.73.P76 S65l
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Search Tools: Get RSS Feed
Style Switcher
Theme Colors

Layout Styles