Ditemukan 17 dokumen yang sesuai dengan query
Fakultas Teknik Universitas Indonesia, 1992
S38242
UI - Skripsi Membership Universitas Indonesia Library
Alexander Artikis, editor
The festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.
...
Berlin: Springer, 2012
e20406456
eBooks Universitas Indonesia Library
Yulikuspartono, author
Yogyakarta : Andi, 2004
005.115 YUL p
Buku Teks SO Universitas Indonesia Library
Farrell, Joyce, author
Boston: Course Technology Cengage Learning, 2013
005.115 FAR b
Buku Teks SO Universitas Indonesia Library
Downward, Michael, author
London : Taylor and Francis, 1998
005.1 DOW l
Buku Teks SO Universitas Indonesia Library
Marriot, Kim, author
Cambridge, UK: MIT Press, 1998
005.13 MAR p
Buku Teks Universitas Indonesia Library
Gregory, Steve, author
Workingham, England: Addison-Wesley, 1987
005.133 GRE p
Buku Teks Universitas Indonesia Library
Maier, David, author
Menlo Park: The Benjamin Cumming Pub., 1988
005.133 MAI c
Buku Teks Universitas Indonesia Library
Jeroen Janssen, editor
We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique...
Paris: Atlantis Press, 2012
e20406539
eBooks Universitas Indonesia Library
Esra Erdem, editor
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in...
Berlin: [, Springer-Verlag], 2012
e20409159
eBooks Universitas Indonesia Library
