Ditemukan 9095 dokumen yang sesuai dengan query
Davis, Donald R.
Chicago: Dryden Press, 1989
657.0285 DAV c
Buku Teks Universitas Indonesia Library
Davis, Donald R.
Chicago: Dryden Press, 1989
657.0285 DAV m
Buku Teks Universitas Indonesia Library
Davis, Donald R.
Chicago: Dryden Press, 1989
657.0285 DAV m
Buku Teks Universitas Indonesia Library
Stennick, Jan
New York, N.Y.: McGraw-Hill, 1986
657.839 STE s
Buku Teks Universitas Indonesia Library
Chicago: Dryden Press, 1989
657 ACC
Buku Teks Universitas Indonesia Library
Lambert, Joyce C.
New York: McGraw-Hill, 1986
657.450 LAM c
Buku Teks Universitas Indonesia Library
Gebser, Martin
"Summary:
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modelling problems in the area of Knowledge Representation and Reasoning (KRR). This book presents a practical introduction to ASP. It introduces ASP's solving technology, modelling language and methodology, while illustrating the overall solving process with practical examples"
San Rafael, Calif: Morgan et Claypool, 2013
025.042 7 GEB a
Buku Teks SO Universitas Indonesia Library
Meigs, Robert F.
New York : McGraw-Hill , 1973
005 MEI c
Buku Teks SO Universitas Indonesia Library
Forkner, Irvine
New York: John Wiley & Sons, 1973
658.403 FOR c
Buku Teks Universitas Indonesia Library
McLeod, Raymond
New York: John Wiley & Sons, 1982
001.64 MCL c
Buku Teks SO Universitas Indonesia Library
