Ditapis dengan
Linked data and knowledge graph; Seventh Chinese Semantic Web Symposium and t…
This book constitutes the refereed proceedings of the Seventh Chinese Semantic Web Symposium and the Second Chinese Web Science Conference, CSWS 2013, held in Shanghai, China in August 2013. The 14 revised full papers presented together with 6 short papers and 3 poster papers were carefully reviewed and selected from 48 submissions. The papers cover a wide range of topics, including semantic se…
- Edisi
- -
- ISBN/ISSN
- 9783642540257
- Deskripsi Fisik
- x, 247 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1512
A logical introduction to proof
The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of …
- Edisi
- 1
- ISBN/ISSN
- 9781461436317
- Deskripsi Fisik
- xvi, 356 hlm.
- Judul Seri
- -
- No. Panggil
- E454
ICT in education, research, and industrial applications
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals wi…
- Edisi
- -
- ISBN/ISSN
- 9783642357374
- Deskripsi Fisik
- xiv, 245 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1166
Natural language processing and Chinese computing ; Second CCF Conference, NL…
This book constitutes the refereed proceedings of the Second CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2013, held in Chongqing, China, during November 2013. The 31 revised full papers presented together with three keynote talks and 13 short papers were carefully reviewed and selected from 203 submissions. The papers are organized in topical sections on fundament…
- Edisi
- -
- ISBN/ISSN
- 9783642416446
- Deskripsi Fisik
- xxiv, 450 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1490
Efficient computation of argumentation semantics
Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed systems are increasingly used in the automation and transportation systems field, and particularly autonomous systems, as well as m…
- Edisi
- -
- ISBN/ISSN
- 9780124104068
- Deskripsi Fisik
- x, 137 hlm.
- Judul Seri
- -
- No. Panggil
- E1487
Introduction to logic design
No Inv.: 87654/P/Perp/04/1c~106974/S/Perp/06/1c~129550/S/Perp/11/1c
- Edisi
- -
- ISBN/ISSN
- 0072476990
- Deskripsi Fisik
- xi, 572 hlm.
- Judul Seri
- -
- No. Panggil
- 621.395 MAR i
Logika proposisional
No Inv.: 89534-89545/PSM/Perp/04/2c~102424/P/Perp/05/1c~111578-111582/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9797310515
- Deskripsi Fisik
- xii, 207 hlm.
- Judul Seri
- -
- No. Panggil
- 511.3 SOE l
Dasar-dasar logika
No Inv.: 106870/S/Perp/06/1c~113647-113651/P/Perp/08/5c~126597-126601/P/Perp/10/5c
- Edisi
- cet. ke-4
- ISBN/ISSN
- 9795268562
- Deskripsi Fisik
- ix, 122 hlm.
- Judul Seri
- -
- No. Panggil
- 160 SUR d
Logika : selayang pandang
No Inv.: 109349/S/Perp/07/1c
- Edisi
- -
- ISBN/ISSN
- 9794131245
- Deskripsi Fisik
- 83 hlm.
- Judul Seri
- -
- No. Panggil
- 160 ALE l
The Essence of logic
No Inv.: 112743/P/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 0133963756
- Deskripsi Fisik
- xiv, 258 hlm.
- Judul Seri
- -
- No. Panggil
- 160 KEL e
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah