Ditapis dengan
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
Critical thinking : a concise guide
No Inv.: 114094/P/Perp/08/1c~138525,138526/P/Perp/2c
- Edisi
- 2nd ed
- ISBN/ISSN
- 04153433135
- Deskripsi Fisik
- xi, 321 hlm.
- Judul Seri
- -
- No. Panggil
- 160 BOW c
Schaum`s outline of theory and problems of logic
No Inv.: 112812/P/Perp/08/1c
- Edisi
- 2nd ed
- ISBN/ISSN
- 0070466491
- Deskripsi Fisik
- vii, 322 hlm.
- Judul Seri
- -
- No. Panggil
- 160 NOL s
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah